replace Header with Id

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8302 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Jul 10, 2007 · 9f4362a · 9f4362a
1 parent 6cf925d
commit 9f4362a
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/CASL/Makefile b/CASL/Makefile
@@ -1,4 +1,4 @@
-# $Header$
+# $Id$
 
 call:
 	./ghc-call

diff --git a/Common/Makefile b/Common/Makefile
@@ -1,4 +1,4 @@
-# $Header$
+# $Id$
 
 call:
 	./ghc-call

diff --git a/HasCASL/Makefile b/HasCASL/Makefile
@@ -1,4 +1,4 @@
-# $Header$
+# $Id$
 
 call:
 	./ghc-call

diff --git a/Haskell/Hatchet/Makefile b/Haskell/Hatchet/Makefile
@@ -1,4 +1,4 @@
-# $Header$
+# $Id$
 
 call:
 	./ghc-call

diff --git a/ToHaskell/Makefile b/ToHaskell/Makefile
@@ -1,4 +1,4 @@
-# $Header$
+# $Id$
 
 %: 
 	(cd test; $(MAKE) $@)