diff generator/typesystem_gui.xml @ 217:3855c7a9a5a2

fix for linux
author eldar
date Tue, 14 Jul 2009 15:56:04 +0000
parents 3ea0efe4d31e
children f7dca08fc816
line wrap: on
line diff