comparison make/jprt.properties @ 6990:e3ada110d3cf

Small cleanups after NPG
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 19 Nov 2012 16:15:53 +0100
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
6989:2afd99933ae6 6990:e3ada110d3cf