comparison make/jprt.properties @ 15820:f0127716b881

mx: remove unused packagejar command
author Bernhard Urban <bernhard.urban@jku.at>
date Wed, 21 May 2014 15:29:38 +0200
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
15819:2460aed6c899 15820:f0127716b881