From e31f6f58d3c8ba8d7c6bfea36fd65570b5ff5fe8 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 11 Dec 2006 10:43:00 +0000 Subject: [PATCH] - Woops. --- gui/Gui/About.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui/Gui/About.py b/gui/Gui/About.py index 69dd167..3ce9f26 100644 --- a/gui/Gui/About.py +++ b/gui/Gui/About.py @@ -18,7 +18,7 @@ class AboutScyther(wx.Dialog):

Scyther

- Version 1.0-beta 4 + Version 1.0-beta 5

@@ -31,7 +31,7 @@ class AboutScyther(wx.Dialog):

For news and updates visit the Scyther pages at - http://www.win.tue.nl/~ccremers/scyther/index.html + http://people.inf.ethz.ch/cremersc/scyther/index.html

Credits: Cas Cremers (Scyther theory, backend, and main GUI