10 Nov
2015
10 Nov
'15
10:06 p.m.
On 15-11-10 12:37 PM, James Cummings wrote:
On 10/11/15 17:34, Martin Holmes wrote:
I'm not sure I understand the connection between the debs and the plugin.
Ah, I see. I think we might have decided to discontinue the tei-oxygen deb at the meeting, but we could always revisit that.
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.
I suspect that given the plugin and the steady rate of Oxygen releases, Sebastian didn't see much point in it. Cheers, Martin
-James