28 Jan
2019
28 Jan
'19
11:09 p.m.
I duely added the new Stylesheets release branch to the Jenkins release jobs and updated the subsequent TEI jobs to pick up this branch. It’s building right now: https://jenkins.tei-c.org/view/Release/ Best Peter
Am 28.01.2019 um 21:31 schrieb Syd Bauman
: OK. I should be checking in the README changes in roughly 2-3 hours, if that's OK.
Done. Sorry, busy morning.
Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council