Update docs, removing $Id$ and linking to repo.or.cz.
commit2f41bd07fa3f46fd86d547a067f61770bdae2ebe
authorEdward Z. Yang <edwardzyang@thewritingpot.com>
Tue, 2 Sep 2008 19:01:25 +0000 (2 15:01 -0400)
committerEdward Z. Yang <edwardzyang@thewritingpot.com>
Tue, 2 Sep 2008 19:01:25 +0000 (2 15:01 -0400)
tree2556c44c7846e75134c8e56a0ff3e6b6dcbae380
parentc6914dce51ee1a5b6c935c8b4a1a5c816d941bd9
Update docs, removing $Id$ and linking to repo.or.cz.

Signed-off-by: Edward Z. Yang <edwardzyang@thewritingpot.com>
14 files changed:
docs/dev-advanced-api.html
docs/dev-config-schema.html
docs/dev-flush.html
docs/dev-naming.html
docs/dev-optimization.html
docs/dev-progress.html
docs/enduser-customize.html
docs/enduser-id.html
docs/enduser-tidy.html
docs/enduser-uri-filter.html
docs/enduser-youtube.html
docs/index.html
docs/proposal-colors.html
docs/ref-devnetwork.html