rework GUI frontend selection
authorRalf Jung <post@ralfj.de>
Wed, 17 Oct 2012 14:20:21 +0000 (16:20 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 17 Oct 2012 14:20:21 +0000 (16:20 +0200)
commit4c3831b98072b3668350cd8c4140383f85484c4c
tree989b9d69db2f49ddc6324390f80440499f46c84b
parentf9da06538394990906d6148d7cbc2dad7a7967c7
rework GUI frontend selection
gui.py