diff options
author | 2022-05-24 20:47:04 +0200 | |
---|---|---|
committer | 2022-05-24 20:47:04 +0200 | |
commit | 83e8ce3ff84b02435acee42bb417de610fe8fa98 (patch) | |
tree | ba3d8ccb79e5ff5d103f0d02e30549bb4e0bacb7 | |
parent | glsa.dtd: Whitespace and drop CVS Header (diff) | |
download | dtd-83e8ce3ff84b02435acee42bb417de610fe8fa98.tar.gz dtd-83e8ce3ff84b02435acee42bb417de610fe8fa98.tar.bz2 dtd-83e8ce3ff84b02435acee42bb417de610fe8fa98.zip |
repositories.dtd: Update URL, drop CVS Header
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-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 |