diff make/jprt.properties @ 1954:e3e1fb85e50a

Merge
author jmasa
date Mon, 15 Nov 2010 16:25:14 -0800
parents 432d823638f7
children 0a8e0d4345b3 352765ed11a1
line wrap: on
line diff