diff make/jprt.properties @ 1857:96b3f2a7add0 jdk7-b116

Added tag jdk7-b115 for changeset bdbc48857210
author cl
date Thu, 21 Oct 2010 17:12:26 -0700
parents 432d823638f7
children 0a8e0d4345b3 352765ed11a1
line wrap: on
line diff