diff make/jprt.properties @ 6781:b711844284e2

7200092: Make NMT a bit friendlier to work with Reviewed-by: kvn, ysr, azeemj
author nloodin
date Fri, 21 Sep 2012 10:56:28 +0200
parents 3958f0acde31
children 3be6a41ad358
line wrap: on
line diff