diff make/jprt.properties @ 800:7295839252de

Merge
author jmasa
date Wed, 10 Jun 2009 14:57:21 -0700
parents 44ccd7a9065c
children bd02caa94611
line wrap: on
line diff