From c305dae8e856425ff775036c0c2410f83a55ed64 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Wed, 13 Jan 1999 16:26:37 +0000
Subject: [PATCH] [project @ 1999-01-13 16:26:37 by simonm] testing

---
 ghc/includes/options.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/includes/options.h b/ghc/includes/options.h
index 5683d895d917..ee546499b1da 100644
--- 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 $
  * ------------------------------------------------------------------------*/
 
 
-- 
GitLab