comparison generator/typesystem_gui-java.java @ 223:0c7abb1e6a9d

windows fix, again
author eldar
date Wed, 15 Jul 2009 08:33:42 +0000
parents 3ea0efe4d31e
children f7dca08fc816
comparison
equal deleted inserted replaced
222:c9670583880e 223:0c7abb1e6a9d