diff make/jprt.properties @ 1484:6b7001391c97

Fix dummy obj boxed long hack by replacing it with a reliable solution.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 29 Nov 2010 18:32:30 +0100
parents b1f5ced5da21
children 731bcbe3c9c4
line wrap: on
line diff