- Fix file headers.

2024-04-20 10:02:06 +02:00
parent 76d259a617
commit c72706df34
8 changed files with 6 additions and 27 deletions
--- a/6
+++ b/6
@@ -1,9 +1,3 @@
-# $RCSfile: Makefile,v $
-# $Revision: 1.3 $
-# $Name:  $
-# $Date: 2003/07/16 23:32:06 $
-# $Author: agibert $
-
 #------------------------------------------------------------------------------
 # Main Makefile
 #------------------------------------------------------------------------------