Mercurial > hg > truffle
diff make/jprt.properties @ 4994:e37be4557f0b
Small fix for windows.
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Tue, 28 Feb 2012 18:57:46 +0100 |
parents | a9831b955a0a |
children | 2d503de963b3 |
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Tue, 28 Feb 2012 18:57:46 +0100 |
parents | a9831b955a0a |
children | 2d503de963b3 |