> On Tue, 03 Dec 2019, Ulrich Mueller wrote:
> There are some DTDs in data/dtd.git which were needed for the old XML
> pages. Apparently the following are no longer used:
>gleps.dtd
>metadoc.dtd
>project.dtd (not to be confused with projects.dtd which is in use)
>userinfo.dtd
There are some DTDs in data/dtd.git which were needed for the old XML
pages. Apparently the following are no longer used:
gleps.dtd
metadoc.dtd
project.dtd (not to be confused with projects.dtd which is in use)
userinfo.dtd
Unless anybody speaks up who is still using them, I'm going t
