From 2f41bd07fa3f46fd86d547a067f61770bdae2ebe Mon Sep 17 00:00:00 2001
From: "Edward Z. Yang"
Date: Tue, 2 Sep 2008 15:01:25 -0400
Subject: [PATCH] Update docs, removing $Id$ and linking to repo.or.cz.
Signed-off-by: Edward Z. Yang
---
docs/dev-advanced-api.html | 2 --
docs/dev-config-schema.html | 12 +++++-------
docs/dev-flush.html | 2 --
docs/dev-naming.html | 2 --
docs/dev-optimization.html | 2 --
docs/dev-progress.html | 2 --
docs/enduser-customize.html | 12 +++++-------
docs/enduser-id.html | 2 --
docs/enduser-tidy.html | 2 --
docs/enduser-uri-filter.html | 6 ++----
docs/enduser-youtube.html | 2 +-
docs/index.html | 1 -
docs/proposal-colors.html | 2 --
docs/ref-devnetwork.html | 1 -
14 files changed, 13 insertions(+), 37 deletions(-)
diff --git a/docs/dev-advanced-api.html b/docs/dev-advanced-api.html
index 83f82124..450840bf 100644
--- a/docs/dev-advanced-api.html
+++ b/docs/dev-advanced-api.html
@@ -213,6 +213,4 @@ the usual things required are:
See HTMLPurifier/HTMLModule.php
for details.
-$Id$
-