10 Nov
2015
10 Nov
'15
12:37 p.m.
On 10/11/15 17:34, Martin Holmes wrote:
I'm not sure I understand the connection between the debs and the plugin.
I was only suggesting that we might be able to install the tei-oxygen debian package for earlier versions. Checking, it seems though we only have the last two issued, 15.2 and 16.2 which means the last time we did a tei-oxygen debian package release was 20 July 2014. -James -- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford