Header --> Id

1994-06-24 14:02:31 +00:00
parent 5c83e7dbb5
commit 1db6a3029b
1254 changed files with 1254 additions and 1254 deletions
--- a/lib/descr/fe
+++ b/lib/descr/fe
@@ -1,5 +1,5 @@
 # (c) copyright 1983 by the Vrije Universiteit, Amsterdam, The Netherlands.
-# $Header$
+# $Id$
 #
 # Don't generate line updating code by default (i.e.: -L flag provided to cem).
 # To put it on again: use -NL