fix some shellcheck warnings

2022-09-03 00:50:56 +00:00
parent 0c942feaff
commit 59f8d9fe07
8 changed files with 25 additions and 25 deletions
@@ -2,6 +2,6 @@
 set -eufx

 PACKAGES="libz3-dev z3"
-        
+
 apt-get update
 apt-get -yq --no-install-suggests --no-install-recommends install $PACKAGES