zzz b2432833e3 Fix dup ids in jetty.xml, fix DTD

2025-04-18 13:31:16 -04:00

..

contexts

Modified UI patch from dr|z3d

2019-11-13 12:35:29 +00:00

etc

0.10.0:

2013-04-15 14:09:10 +00:00

help.html

Patch from dr|z3d

2019-11-19 12:11:13 +00:00

index.html

Patch from dr|z3d

2019-11-19 12:11:13 +00:00

jetty.xml

Fix dup ids in jetty.xml, fix DTD

2025-04-18 13:31:16 -04:00