lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Bug fix: LATEST defined twice.

This commit is contained in:
Achim D. Brucker 2021-03-06 18:12:49 +00:00
parent 1c7a99b9c1
commit 39b2e5865e
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.sh
View File

@ -29,8 +29,6 @@ set -e
source config
LATEST="2020"
export VERSION SESSIONS CONTAINER DOCKERUID LATEST
# Generate base image