On 12/02/2015 15:24, Donal K. Fellows wrote:
On 12/02/2015 13:18, alaninmcr wrote:I think that[...]are not used and should be removed. The fewer ones we have, the fewer we have to worry about licensing etc.I concur. Try merging my PR. :-)
It's merged.
Donal.
Alan
