diff make/jprt.properties @ 3238:0478ad72d214

Fixed a () type bug in the negate canonicalizer.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 27 Jul 2011 14:17:00 -0700
parents f7702f8c0e25
children 03b943e6c025
line wrap: on
line diff