Thu, 03 Aug 2006 17:08:43 +0200 removed CONFIG
arg@10ksloc.org [Thu, 03 Aug 2006 17:08:43 +0200] rev 186
removed CONFIG
Thu, 03 Aug 2006 15:36:13 +0200 make config.h not a time dependence
arg@10ksloc.org [Thu, 03 Aug 2006 15:36:13 +0200] rev 185
make config.h not a time dependence
Thu, 03 Aug 2006 15:29:28 +0200 removed rm config.h from clean
arg@10ksloc.org [Thu, 03 Aug 2006 15:29:28 +0200] rev 184
removed rm config.h from clean
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip