From 81b44ea437b804b71614d9831e8b812862caba3b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sat, 18 Jul 2020 14:17:48 +0200
Subject: [PATCH] remove slash in Readme

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

diff --git a/README.md b/README.md
index 4e69d7c0..0835a52e 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed
 
 The ProB binary and source distributions contain the nauty library (http://cs.anu.edu.au/~bdm/nauty/) which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance.
 
-For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel/).
+For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel).
 
 # Bugs
 Please report bugs and feature requests at https://probjira.atlassian.net
-- 
GitLab