comparison make/jprt.properties @ 2914:35fb2fef44f1

merge
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 09 Jun 2011 10:48:38 +0200
parents f7702f8c0e25
children 03b943e6c025
comparison
equal deleted inserted replaced
2913:81dab15b45e5 2914:35fb2fef44f1