comparison make/jprt.properties @ 7602:6d1f5516534e

8006127: remove printing code added with 8006031 Reviewed-by: kvn
author twisti
date Fri, 11 Jan 2013 20:01:16 -0800
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
7601:606eada1bf86 7602:6d1f5516534e