Thu, 13 Jul 2006 11:43:05 +0200 changed default colors
Anselm R. Garbe <garbeam@wmii.de> [Thu, 13 Jul 2006 11:43:05 +0200] rev 43
changed default colors
Thu, 13 Jul 2006 10:34:55 +0200 added dev.c instead of kb.c
Anselm R. Garbe <garbeam@wmii.de> [Thu, 13 Jul 2006 10:34:55 +0200] rev 42
added dev.c instead of kb.c
Thu, 13 Jul 2006 10:25:57 +0200 removed obsolete stuff
Anselm R. Garbe <garbeam@wmii.de> [Thu, 13 Jul 2006 10:25:57 +0200] rev 41
removed obsolete stuff
(0) -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip