1 files changed, 1 insertions, 0 deletions

diff --git a/terms.h b/terms.h
index a663047..60d309b 100644
--- a/terms.h
+++ b/terms.h
@@ -1,3 +1,4 @@
+/* $Id: terms.h,v 1.3 2001/11/20 17:49:23 ukai Exp $ */
 #ifndef TERMS_H
 #define TERMS_H