diff make/jprt.properties @ 1164:359445e739ac

Added tag jdk7-b80 for changeset 3003ddd1d433
author mikejwre
date Thu, 21 Jan 2010 11:12:25 -0800
parents b1f5ced5da21
children 731bcbe3c9c4
line wrap: on
line diff