../ 5001-tei 2004-02-01.tei 01-Feb-2004 09:18 224K 5001-tei 2018-11-17.tei 17-Nov-2018 18:00 224K 5001-tei.tei 17-Nov-2018 21:00 224K HOWTO 2018-11-17.md 09-Nov-2018 18:00 1726 HOWTO.md 01-Feb-2004 18:00 1726 custom 2018-11-17.css 01-Nov-2018 16:00 260 custom.css 01-Feb-2004 18:00 260 tei2html 2018-11-17.config 06-Oct-2018 16:00 239 tei2html.config 01-Feb-2004 18:00 239