comparison make/jprt.properties @ 3099:28484c5f00d7

merge
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 29 Jun 2011 19:53:00 +0200
parents f7702f8c0e25
children 03b943e6c025
comparison
equal deleted inserted replaced
3098:2fb14099d069 3099:28484c5f00d7