26 May
2015
26 May
'15
9:20 a.m.
Once the build process has gone through on Jenkins successfully, I'll test my new oxygen-tei plugin build script by doing "ant release" to see what happens. :-) Cheers, Martin On 15-05-26 09:09 AM, Sebastian Rahtz wrote:
Roma should be working again now. I made a new Stylesheets release and deployed it around.
Many apologies for that.
Sebastian Rahtz Chief Data Architect University of Oxford IT Services +44 1865 283431