Merge branch 'master' of ssh://drop.maemo.org/git/drlaunch
[drlaunch] / mkdist
2010-06-24 Stefanos HarhalakisAdded version to config.py