From 566fd98db531641df48443910e13d2d4377a5948 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Fri, 4 Sep 2020 09:27:28 +0200 Subject: [PATCH] update copyright year --- .../src/de/prob/ui/eventb/ModelCheckingFinishedListener.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java index 0383d34e..282871b3 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java +++ b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java @@ -1,5 +1,5 @@ /** - * (c) 2009-11 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, + * (c) 2009-20 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, * Heinrich Heine Universitaet Duesseldorf * This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) * */ -- GitLab