Changeset: d6ea39e0d3eb Author: ohair Date: 2010-09-07 15:13 -0700 URL: http://hg.openjdk.java.net/jdk7/tl/rev/d6ea39e0d3eb
6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list Reviewed-by: kamg ! make/jprt.properties Changeset: b331aef4bef0 Author: ohair Date: 2010-09-07 15:51 -0700 URL: http://hg.openjdk.java.net/jdk7/tl/rev/b331aef4bef0 Merge
