all.sh: indent

This commit is contained in:
Gilles Peskine 2017-12-10 23:22:20 +01:00
parent 7000e574b6
commit 7ad603e662