5 Jul
2019
5 Jul
'19
10:45 p.m.
anyone against merging https://github.com/TEIC/Stylesheets/pull/374 ? [This simply adds a section to the Stylesheets Readme about the TEI] If no one objects, I will hit the merge button in the next days. Best Peter