diff options
author | silvio | 2017-10-08 08:53:15 +0200 |
---|---|---|
committer | GitHub | 2017-10-08 08:53:15 +0200 |
commit | e3739801f80ea3f16506d5f3e5dac4d0d356454e (patch) | |
tree | 083f07a372799fc8b59cc41520f78b8d1e8139f1 | |
parent | 2f79a52e269d75288cf9193c333f9ff429f35cdf (diff) | |
parent | 76426f64ca9316031b8cb12eee91fe36cc64d8fa (diff) | |
download | languagetool-e3739801f80ea3f16506d5f3e5dac4d0d356454e.tar.gz |
Merge pull request #3 from Mittemi/master
Upgrade to version 3.9
-rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ FROM debian:jessie MAINTAINER Silvio Fricke <silvio.fricke@gmail.com> -ENV VERSION 3.8 +ENV VERSION 3.9 ADD https://www.languagetool.org/download/LanguageTool-$VERSION.zip /LanguageTool-$VERSION.zip RUN set -ex \ |