diff make/jprt.properties @ 2043:09d92cbb793b

Added tag jdk7-b124 for changeset 0a8e0d4345b3
author cl
date Thu, 06 Jan 2011 20:10:19 -0800
parents 0a8e0d4345b3
children e24ab3fa6aaf
line wrap: on
line diff