tweaks: normalize the indentation after the previous change

master
Benno Schulenberg 2020-02-09 20:17:05 +01:00
parent 9f43b4c758
commit 422cd726fa
1 changed files with 7 additions and 7 deletions