From 860ffb153bca2fb7bc55d75ef758ba4f9dc0716e Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Wed, 12 Aug 2020 11:38:07 +0200 Subject: [PATCH] spelling error --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5ace06b..732db44 100644 --- a/README.md +++ b/README.md @@ -43,4 +43,4 @@ The language server can be found here https://github.com/SeeBasTStick/b-language ### 1.0.0 - switched to Java Server and will be able to access ProB Kernel library. -- server has no debug option and output \ No newline at end of file +- server has now debug option and output \ No newline at end of file -- GitLab