diff make/defs.make @ 11856:7a5182bd2175

remove unused method from VirtualizerTool
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 02 Oct 2013 10:19:43 +0200
parents 836a62f43af9
children 359f7e70ae7f
line wrap: on
line diff