tweaks: adjust some indentation after the previous change

master
David Lawrence Ramsey 2018-09-10 15:17:07 -05:00 committed by Benno Schulenberg
parent 2cdb87ee62
commit fb38995d36
1 changed files with 5 additions and 5 deletions