Merge pull request #317 from rofl0r/stdio_gui
authorThomasV <thomasv1@gmx.de>
Fri, 20 Sep 2013 17:41:38 +0000 (10:41 -0700)
committerThomasV <thomasv1@gmx.de>
Fri, 20 Sep 2013 17:41:38 +0000 (10:41 -0700)
Stdio gui


Trivial merge