From 627013396cc42d12298b02d13aadef9706956081 Mon Sep 17 00:00:00 2001 From: Julian Thome Date: Wed, 21 Nov 2018 07:26:10 +0100 Subject: [PATCH] doc --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4cab524..bc2da34 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ using the following dependency in the `pom.xml` file. com.github.hycos regex2smtlib - 1.0 + 1.1 ```