diff make/jprt.properties @ 715:a3fd9e40ff2e jdk7-b56

Merge
author trims
date Tue, 21 Apr 2009 15:08:49 -0700
parents ec1a6dc46005
children a61730a6fdbc
line wrap: on
line diff