server 07fe9c8817 merge + tweaks, post-log4j		2021-12-11 14:38:35 -07:00
..
dest	merge + tweaks, post-log4j	2021-12-11 14:38:35 -07:00
source	merge + tweaks, post-log4j	2021-12-11 14:38:35 -07:00
resources.dtd	fix translation DTD	2021-05-25 10:33:31 +02:00