From bf581462200d269f22393e7c69047bdf193648eb Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Mon, 25 Jan 2021 10:04:02 +0100 Subject: [PATCH] update link to prob-issues site --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e490a93c..fe3db637 100644 --- a/README.md +++ b/README.md @@ -18,7 +18,7 @@ The ProB binary and source distributions contain the nauty library (http://cs.an 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 +Please report bugs and feature requests at https://github.com/hhu-stups/prob-issues # Prolog Source Code The latest source code of the Prolog binary can be downloaded from https://www3.hhu.de/stups/downloads/prob/source/. -- GitLab