Merge pull request #226 from nemobis/master

Make dumpgenerator.py 774: required by launcher.py
pull/230/head
nemobis 9 years ago
commit 711a88df59
Loading…
Cancel
Save