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.

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

(limited to 'help.c')

diff --git a/help.c b/help.c
index 9bf3df56..c099f9b3 100644
--- a/help.c
+++ b/help.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