diff make/windows/build_vm_def.sh @ 8742:993d878108d9

Merge
author brutisso
date Wed, 13 Mar 2013 05:14:43 +0100
parents b9a9ed0f8eeb
children e522a00b91aa c062a6e1fa33
line wrap: on
line diff