Changed Header into Id

1994-06-23 13:47:02 +00:00
parent fdfe4f12c0
commit 24741f9c69
8 changed files with 8 additions and 8 deletions
--- a/bin/do_resolve
+++ b/bin/do_resolve
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'

 : Resolve name clashes in the files on the argument list. If these
 : files reside in another directory, a copy is made in the current