comparison make/jprt.properties @ 13806:0a20f43a4a78

Merge fixes.
author Christian Humer <christian.humer@gmail.com>
date Tue, 28 Jan 2014 13:36:16 +0100
parents 384c92148c68
children 50fdb38839eb
comparison
equal deleted inserted replaced
13805:739194d1e813 13806:0a20f43a4a78