Marco Pesenti Gritti 8a9d0b657c Add a gui console so I can see output in

2006-05-16 19:21:52 -04:00

..

__init__.py

…

browser.py

Add a gui console so I can see output in

2006-05-16 19:21:52 -04:00

fold.png

…

Makefile.am

…

unfold.png

…