Merge branch 'master' of git://ralfj.de/dsl
[lilass.git] / gui.py
2012-10-06 Ralf JungMerge branch 'master' of git://ralfj.de/dsl
2012-10-06 Ralf Jungdon't import GUI stuff in dsl.py, use gui.py for that