--- tools/config2header 2005/04/13 08:56:16 1.1 +++ tools/config2header 2005/04/13 08:57:48 @@ -214,7 +214,6 @@ print HFILE <