Make dumpgenerator.py 774: required by launcher.py

pull/226/head
Federico Leva 9 years ago
parent 79e2c5951f
commit 2537e9852e
Loading…
Cancel
Save