ThomasV 31aaae8ed2 seed v6

2013-10-26 16:40:05 +02:00

..

qt

seed v6

2013-10-26 16:40:05 +02:00

__init__.py

documentation on GUI

2013-09-13 09:40:34 +02:00

android.py

seed v6

2013-10-26 16:40:05 +02:00

gtk.py

seed v6

2013-10-26 16:40:05 +02:00

stdio.py

re-add stdio guy

2013-09-26 05:23:17 +02:00

text.py

text gui: save the history to speed up display

2013-10-07 10:48:44 +02:00