[project @ 1999-01-13 16:26:37 by simonm]

testing

diff --git a/ghc/includes/options.h b/ghc/includes/options.h
index 5683d89..ee54649 100644 (file)
--- a/ghc/includes/options.h
+++ b/ghc/includes/options.h
@@ -13,8 +13,8 @@
  * Hugs version 1.4, December 1997
  *
  * $RCSfile: options.h,v $
- * $Revision: 1.2 $
- * $Date: 1998/12/02 13:21:51 $
+ * $Revision: 1.3 $
+ * $Date: 1999/01/13 16:26:37 $
  * ------------------------------------------------------------------------*/