Re: CVS commit: src/tools

[J. Hannken-Illjes]

> On 7. May 2019, at 12:17, matthew green <m...@eterna.com.au> wrote:
> 
>> Diff is NOT reversed.
> 
> ah yes, i see.  please commit.

Done.

--
J. Hannken-Illjes - hann...@eis.cs.tu-bs.de - TU Braunschweig (Germany)