tweaks: adjust the indentation after the previous change

master
Benno Schulenberg 2019-10-08 11:51:47 +02:00
parent 265d3245af
commit 56d98052d1
1 changed files with 13 additions and 13 deletions