comparison make/jprt.properties @ 10277:aabf54ccedb1

8008772: remove gamma launcher Reviewed-by: kvn, neliasso, ctornqvi
author twisti
date Mon, 06 May 2013 19:49:23 -0700
parents e76dd894b984
children c81dd5393a5e
comparison
equal deleted inserted replaced
10276:f0bc60565ba8 10277:aabf54ccedb1