diff README @ 1780:432d823638f7

6985022: update make/jprt.properties for new jdk7 tools Reviewed-by: ohair, kvn
author jcoomes
date Wed, 15 Sep 2010 10:39:13 -0700
parents a61af66fc99e
children
line wrap: on
line diff