configs: properly indent process_configs.sh

Signed-off-by: Paul Bolle <pebolle@tiscali.nl>
This commit is contained in:
Paul Bolle 2019-05-06 11:01:03 +02:00 committed by Jeremy Cline
parent eeca86408d
commit f27f73697f