diff make/jprt.properties @ 3627:c773cc740d4a

Improved error messages in gl.py.
author Doug Simon <doug.simon@oracle.com>
date Wed, 09 Nov 2011 22:37:44 +0100
parents 03b943e6c025
children 0cc8a70952c3
line wrap: on
line diff