Agnos v0.5 (#20023)

old-commit-hash: 53bb7e3e109205467b82ba5f64d9910982e4704d
This commit is contained in:
Willem Melching
2021-02-06 04:54:46 +01:00
committed by GitHub
parent 10bf2690f1
commit 6f4437a8ff
2 changed files with 8 additions and 8 deletions

View File

@@ -11,7 +11,7 @@ if [ -z "$REQUIRED_NEOS_VERSION" ]; then
fi
if [ -z "$AGNOS_VERSION" ]; then
export AGNOS_VERSION="0.4"
export AGNOS_VERSION="0.5"
fi
if [ -z "$PASSIVE" ]; then