diff options
| -rw-r--r-- | repositories.dtd | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/repositories.dtd b/repositories.dtd index 882a77d..6fa353f 100644 --- a/repositories.dtd +++ b/repositories.dtd @@ -1,8 +1,7 @@ -<!-- $Header --> <!-- Used by [gentoo]/xml/htdocs/proj/en/overlays/repositories.xml --> <!-- The source copy and history of this file is available from -http://git.overlays.gentoo.org/gitweb/?p=proj/repositories-xml-format.git +https://gitweb.gentoo.org/proj/repositories-xml-format.git/ --> <!-- Gentoo repositories.xml DTD 1.0 |