diff prettyprint.py @ 14:42a225be7e56

first version of the GUI
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 28 Apr 2010 02:36:00 +0200
parents 2da2b691345d
children bb3c851b18b1
line wrap: on
line diff