4 Commits

Author	SHA1	Message	Date
Patrick Jentsch	0d3efe167e	Update	2019-04-14 14:33:40 +02:00
Patrick Jentsch	c1cba3ced6	Update hocrtotei	2019-04-11 13:03:44 +02:00
Patrick Jentsch	708da35a19	Update tei.	2019-03-13 19:47:14 +01:00
Patrick Jentsch	26757eda03	Some renaming and cleanup.	2019-03-10 20:59:30 +01:00