diff make/jprt.properties @ 1372:e16cca0aa5e1

Merge
author trims
date Thu, 15 Apr 2010 19:08:48 -0700
parents b1f5ced5da21
children 731bcbe3c9c4
line wrap: on
line diff