all.sh: indent

This commit is contained in:
Gilles Peskine 2017-12-20 14:00:06 +01:00
parent 605c2284bc
commit fb18b6ccd2