From 8bb77e09d75f9dc792977523bb303025abaa4e70 Mon Sep 17 00:00:00 2001 From: Roland Kaminski Date: Wed, 11 Oct 2023 14:11:40 +0200 Subject: [PATCH] Update README.md upper case in file names :vomiting_face: closes #72 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 76fe06cd..55bf6888 100644 --- a/README.md +++ b/README.md @@ -29,5 +29,5 @@ Furthermore, clingo-dl provides the Python module `clingodl`. [clingo]: https://potassco.org/clingo/ [Potassco]: https://potassco.org/ -[home]: https://potassco.org/labs/clingodl/ +[home]: https://potassco.org/labs/clingoDL/ [download]: https://github.com/potassco/clingoDL/releases/