all.sh: indent

This commit is contained in:
Gilles Peskine 2017-12-10 23:22:20 +01:00
parent 86bc448e75
commit 30dfbafb82