Update install-root-debian

This commit is contained in:
Boogy 2017-05-01 16:30:05 +02:00 committed by GitHub
parent ef18108181
commit 3c2c633293

View file

@ -2,5 +2,4 @@
set -eu -o pipefail
apt-get update
apt-get -y install z3