diff generator/typesystem_core-java.java @ 217:3855c7a9a5a2

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