1.1 --- a/CONTRIBUTORS	Sat Dec 20 11:39:34 2008 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Dec 20 11:55:34 2008 +0100
     1.3 @@ -204,5 +204,3 @@
     1.4  * 2004/2005: Tjark Weber, TUM
     1.5    SAT solver method using zChaff.
     1.6    Improved version of HOL/refute.
     1.7 -
     1.8 -$Id$