diff options
author | silvio | 2019-08-13 10:16:32 +0200 |
---|---|---|
committer | GitHub | 2019-08-13 10:16:32 +0200 |
commit | 15fbeead65016dccd904100060aa2bab3ed45998 (patch) | |
tree | 2cf96c1255acec0ceac4a858781131225538852c /Dockerfile | |
parent | c6830937d03bcc2467c269e8827fd98f3df48478 (diff) | |
parent | 99eb91c96e4f00fc25efb1923568eabc807d23b1 (diff) | |
download | languagetool-15fbeead65016dccd904100060aa2bab3ed45998.tar.gz |
Merge pull request #10 from matt08/patch-1
Update Version to 4.6
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 \ |