diff --git a/Dockerfile b/Dockerfile index c921a13..6a0d596 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,10 +1,10 @@ FROM openjdk:17-alpine -ARG VERSION=2.24.0 -# docker build --build-arg 2.24.0 -t jheinecke/conllueditor:2.24.0 . -# docker build --build-arg 2.24.0 -t jheinecke/conllueditor:latest . +ARG VERSION=2.25.1 +# docker build --build-arg 2.25.1 -t jheinecke/conllueditor:2.25.1 . +# docker build --build-arg 2.25.1 -t jheinecke/conllueditor:latest . # docker run -t --rm --name conllueditor -p 5555:5555 --user 1000:1000 -v :/data --env filename=tt.conllu jheinecke/conllueditor:latest -# docker push jheinecke/conllueditor:2.24.0 +# docker push jheinecke/conllueditor:2.25.1 # docker push jheinecke/conllueditor:latest # docker exec -it conllueditor /bin/sh diff --git a/doc/table.png b/doc/table.png index 51ad43c..3849d43 100644 Binary files a/doc/table.png and b/doc/table.png differ