Fri, 04 Aug 2006 10:27:16 +0200 arg small stylistic fix
Thu, 03 Aug 2006 17:08:43 +0200 arg removed CONFIG
Thu, 03 Aug 2006 15:36:13 +0200 arg make config.h not a time dependence
Thu, 03 Aug 2006 15:29:28 +0200 arg removed rm config.h from clean
(0) -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip