Re: [Freemint-discuss] $Id$ CVS keyword

[David G. <dga...@gm...>]

Done!

2018-02-16 9:51 GMT+01:00 Miro Kropáček <mir...@gm...>:
> Hi David,
>
>> If nobody has any objection I'm going to delete them.
>
> I have been thinking about the same for some months. I think there's no
> benefit in those ids, so go ahead.
>
> --
> MiKRO / Mystic Bytes
> http://mikro.atari.org