don't import GUI stuff in dsl.py, use gui.py for that
authorRalf Jung <post@ralfj.de>
Sat, 6 Oct 2012 10:39:06 +0000 (12:39 +0200)
committerRalf Jung <post@ralfj.de>
Sat, 6 Oct 2012 10:39:06 +0000 (12:39 +0200)

No differences found