diff make/jprt.properties @ 426:316c0b576ea1

Added tag jdk7-b40 for changeset 81a0cbe3b284
author xdono
date Thu, 20 Nov 2008 11:39:38 -0800
parents 68e0443dfd9c
children ec1a6dc46005
line wrap: on
line diff