From 80eb8664f5908d5864e8606524b48ea1d2e6a46e Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 7 Jul 2020 09:55:49 +0200
Subject: [PATCH] update copyright year

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b67f5722..8fb081fb 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@
 [![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
 
 The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
-(C) 2000-2019 Michael Leuschel and many others.
+(C) 2000-2020 Michael Leuschel and many others.
 
 For updates please visit the ProB website: http://www.stups.uni-duesseldorf.de/ProB/
 
-- 
GitLab