diff make/linux/platform_ia64 @ 6596:eff5d59db7e1

7189729: jprt.properties should include release jdk7u8 Reviewed-by: jcoomes
author amurillo
date Tue, 07 Aug 2012 09:53:12 -0700
parents a294fd0c4b38
children
line wrap: on
line diff