diff generator/typesystem_gui-java.xml @ 217:3855c7a9a5a2

fix for linux
author eldar
date Tue, 14 Jul 2009 15:56:04 +0000
parents e78566595089
children 7664de4a55e5
line wrap: on
line diff