From d1e04a3c6d199316923055d9c7d47cda09c7b9b8 Mon Sep 17 00:00:00 2001
From: Thomas Roessler <roessler@does-not-exist.org>
Date: Tue, 13 Oct 1998 20:44:24 +0000
Subject: Add RCS $Id$ strings to (hopefully) all source files.

---
 headers.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'headers.c')

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