test/jdk/jprt.config
changeset 47236 bed98952fb09
parent 47216 71c04702a3d5
equal deleted inserted replaced
47235:9ef10c6e67b8 47236:bed98952fb09