From 2cff144e45cce3ca6830dd39ddd77ab665eb8dc9 Mon Sep 17 00:00:00 2001 From: Richard Bubel Date: Tue, 27 May 2014 10:51:28 +0200 Subject: [PATCH] Fixed Copyright in Main Window --- system/src/de/uka/ilkd/key/gui/Main.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/system/src/de/uka/ilkd/key/gui/Main.java b/system/src/de/uka/ilkd/key/gui/Main.java index bd07a5c820d..06be686c1a1 100644 --- a/system/src/de/uka/ilkd/key/gui/Main.java +++ b/system/src/de/uka/ilkd/key/gui/Main.java @@ -98,7 +98,7 @@ private enum UiMode { " (internal: "+INTERNAL_VERSION+")"; public static final String COPYRIGHT=UnicodeHelper.COPYRIGHT - +" Copyright 2001"+UnicodeHelper.ENDASH+"2013 " + +" Copyright 2001"+UnicodeHelper.ENDASH+"2014 " +"Karlsruhe Institute of Technology, " +"Chalmers University of Technology, and Technische Universit\u00e4t Darmstadt"; @@ -512,4 +512,4 @@ public static final class Verbosity { public static final byte HIGH = 2; public static final byte DEBUG = 4; } -} \ No newline at end of file +}