From bb5d9a28dda68c70359bc2710f22e6734fa85e76 Mon Sep 17 00:00:00 2001
From: Thomas Roessler <roessler@does-not-exist.org>
Date: Thu, 7 Jan 1999 09:54:55 +0000
Subject: Get rid of RCS ids in source files.  They are getting in our way when
 merging changes.

---
 copy.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'copy.c')

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