# HG changeset patch # User diego # Date 1050861267 0 # Node ID 204a20abe5bf688cbe9025c36971da273c4f549f # Parent ad081e771ada2f58303086a7cbb6412e5a1c373f -tv on --> tv:// sync from xml/. diff -r ad081e771ada -r 204a20abe5bf DOCS/en/documentation.html --- a/DOCS/en/documentation.html Sun Apr 20 17:08:57 2003 +0000 +++ b/DOCS/en/documentation.html Sun Apr 20 17:54:27 2003 +0000 @@ -1149,7 +1149,7 @@