test/jdk/jprt.config
changeset 52237 170e876d529c
parent 47216 71c04702a3d5
equal deleted inserted replaced
51939:afb3c0884bf1 52237:170e876d529c