comparison make/jprt.properties @ 11353:a13945105e82

small JavaDoc
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 16 Aug 2013 13:15:56 +0200
parents e76dd894b984
children c81dd5393a5e
comparison
equal deleted inserted replaced
11352:8185c119d731 11353:a13945105e82