aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsilvio2019-08-13 10:16:32 +0200
committerGitHub2019-08-13 10:16:32 +0200
commit15fbeead65016dccd904100060aa2bab3ed45998 (patch)
tree2cf96c1255acec0ceac4a858781131225538852c
parentc6830937d03bcc2467c269e8827fd98f3df48478 (diff)
parent99eb91c96e4f00fc25efb1923568eabc807d23b1 (diff)
downloadlanguagetool-15fbeead65016dccd904100060aa2bab3ed45998.tar.gz
Merge pull request #10 from matt08/patch-1
Update Version to 4.6
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 6c6dd8b..b7dddc7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,7 +12,7 @@ RUN set -ex \
openjdk-8-jre-headless \
unzip
-ENV VERSION 4.5
+ENV VERSION 4.6
ADD https://www.languagetool.org/download/LanguageTool-$VERSION.zip /LanguageTool-$VERSION.zip
RUN unzip LanguageTool-$VERSION.zip \