tweaks: adjust indentation after the previous commit

master
David Lawrence Ramsey 2019-01-10 12:19:56 -06:00 committed by Benno Schulenberg
parent 194d18586c
commit e771503ee5
1 changed files with 3 additions and 3 deletions