|
qt
|
Line breaks and blank spaces
|
2013-10-10 03:54:52 +02:00 |
|
__init__.py
|
documentation on GUI
|
2013-09-13 09:40:34 +02:00 |
|
android.py
|
android: fixes
|
2013-10-08 17:13:59 +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 |