diff make/jprt.properties @ 4571:ac6e494d048a

bugfix
author Christian Haeubl <christian.haeubl@oracle.com>
date Sat, 11 Feb 2012 11:15:32 -0800
parents 81f7362f7bed
children d6660fedbab5
line wrap: on
line diff