log

age author description
Mon, 04 Jun 2007 13:16:39 +0000 reimar get rid of Gui code that has been commented out since ages
Mon, 04 Jun 2007 13:15:35 +0000 reimar Factor out some duplicated gui code
Mon, 04 Jun 2007 13:05:26 +0000 reimar Remove some useless code