tweaks: normalize the indentation after the previous change

master
Benno Schulenberg 2021-05-25 15:31:54 +02:00
parent 89adacff3d
commit 4f9d55bb15
1 changed files with 10 additions and 10 deletions