comparison make/jprt.properties @ 1932:e6500c6c5e24

Removed launch configuration.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Tue, 21 Dec 2010 17:09:37 +0100
parents 432d823638f7
children 0a8e0d4345b3 352765ed11a1
comparison
equal deleted inserted replaced
1931:48bbaead8b6c 1932:e6500c6c5e24