diff make/jprt.properties @ 16704:3cd605c98060

NFI: cleanup
author Matthias Grimmer <grimmer@ssw.jku.at>
date Wed, 06 Aug 2014 08:27:42 +0200
parents f0221ff14605
children 3ef5c627634a
line wrap: on
line diff