From da6cdd6b8083201c66349133693a173704f5d4df Mon Sep 17 00:00:00 2001
From: Eduardo Chappa <chappa@washington.edu>
Date: Sun, 3 Oct 2021 20:32:22 -0600
Subject:    * Code clean up and removal of some warnings.

---
 pith/osdep/coredump.c | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'pith/osdep/coredump.c')

diff --git a/pith/osdep/coredump.c b/pith/osdep/coredump.c
index c668ffad..cec5369d 100644
--- a/pith/osdep/coredump.c
+++ b/pith/osdep/coredump.c
@@ -1,7 +1,3 @@
-#if !defined(lint) && !defined(DOS)
-static char rcsid[] = "$Id: coredump.c 761 2007-10-23 22:35:18Z hubert@u.washington.edu $";
-#endif
-
 /*
  * ========================================================================
  * Copyright 2013-2021 Eduardo Chappa
-- 
cgit v1.2.3-70-g09d2