5 Jul
2019
5 Jul
'19
5:07 a.m.
Great, thank you very much! Peter
Am 05.07.2019 um 11:19 schrieb Syd Bauman
: Yes, I noticed. Martin & I are planning to work on it in ~4 hours.
your recent commit "Work on #1867“ ... broke the build with the error message "error: duplicate attribute „type““. I see that this is a combined issue of Guidelines #1867 and Stylesheets #370 where probably the Stylesheets need to be fixed first. So, since we are in refridge period I think it’d be better to revert that change and/or move this work into a separate branch.
Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council