comparison make/jprt.properties @ 11856:7a5182bd2175

remove unused method from VirtualizerTool
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 02 Oct 2013 10:19:43 +0200
parents e76dd894b984
children c81dd5393a5e
comparison
equal deleted inserted replaced
11855:028467823d3f 11856:7a5182bd2175