comparison make/jprt.properties @ 16945:5e5f5073d713

mx: Make java file list order deterministic
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 26 Aug 2014 15:06:43 +0200
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
16944:a04d9cbc149f 16945:5e5f5073d713