diff make/jprt.properties @ 8120:b02157cd249f

Merge
author vlivanov
date Wed, 27 Feb 2013 08:03:10 -0800
parents 3958f0acde31
children 3be6a41ad358
line wrap: on
line diff