diff 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
line wrap: on
line diff