From c68e22cf948bd20ae9fd8b5759a8a097637c8e40 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 21 Jan 2021 15:15:56 +0100
Subject: [PATCH] update copyright year

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

diff --git a/README.md b/README.md
index 6e75099f..e490a93c 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-2020 Michael Leuschel and many others.
+(C) 2000-2021 Michael Leuschel and many others.
 
 For updates please visit the ProB website: https://www3.hhu.de/stups/prob/
 
-- 
GitLab