Thu, 13 Jul 2006 11:43:05 +0200 Anselm R. Garbe changed default colors
Thu, 13 Jul 2006 10:34:55 +0200 Anselm R. Garbe added dev.c instead of kb.c
Thu, 13 Jul 2006 10:25:57 +0200 Anselm R. Garbe removed obsolete stuff
(0) -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip