Re: [tinyTiM-discuss] tinyTiM and MIO

[Lars H. <he...@se...>]

[...]
> Okay, then I'll rename ".io" into ".mio" and leave the rest up to you.

Done.

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>