diff make/jprt.properties @ 11120:dc8afa03e5c9

8020414: JDK8 b98 source with GPL header errors Reviewed-by: darcy, lancea, iris
author katleman
date Thu, 11 Jul 2013 14:07:26 -0700
parents e76dd894b984
children c81dd5393a5e
line wrap: on
line diff