comparison make/jprt.properties @ 4312:8dd27e218e19

Merge
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 19 Jan 2012 19:06:25 +0100
parents 81f7362f7bed
children d6660fedbab5
comparison
equal deleted inserted replaced
4311:8e2c4affcd51 4312:8dd27e218e19