Remove unneeded header
authorUwe Zeisberger <zeisberg@informatik.uni-freiburg.de>
Thu, 26 Jan 2006 11:25:44 +0000 (12:25 +0100)
committerJunio C Hamano <junkio@cox.net>
Fri, 27 Jan 2006 02:12:58 +0000 (18:12 -0800)
Signed-off-by: Uwe Zeisberger <zeisberg@informatik.uni-freiburg.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found