From f07087647e12938ac070f82261bd238be56b7c3b Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 9 Jun 2004 18:43:06 +0000
Subject: KeY

---
 src/Today.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Today.hs b/src/Today.hs
index f9ac9d793..ff873bb57 100644
--- a/src/Today.hs
+++ b/src/Today.hs
@@ -1 +1 @@
-module Today where today = "Thu Jun  3 19:06:03 CEST 2004"
+module Today where today = "Thu Jun  3 22:31:54 CEST 2004"
-- 
cgit v1.2.3