Get rid of RCS ids in source files. They are getting in our way

when merging changes.

1 files changed, 0 insertions, 1 deletions

diff --git a/hash.c b/hash.c
index 3cc0ed5a..d855cb0f 100644
--- a/hash.c
+++ b/hash.c
@@ -1,4 +1,3 @@
-static const char rcsid[]="$Id$";
 /*
  * Copyright (C) 1996-8 Michael R. Elkins <me@cs.hmc.edu>
  *