Thu, 09 Oct 2008 13:47:26 +0200Remove references to tools that have not been ported yet (ticket #119) 1.0
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 09 Oct 2008 13:47:26 +0200] rev 302
Remove references to tools that have not been ported yet (ticket #119)