comparison make/jprt.properties @ 3017:b4ba003eb11d

Fixed unnecessary node in the graph builder.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Sat, 18 Jun 2011 14:51:18 +0200
parents f7702f8c0e25
children 03b943e6c025
comparison
equal deleted inserted replaced
3016:2f5f6ffbafa0 3017:b4ba003eb11d