tweaks: normalize indentation and whitespace after previous changes

master
Benno Schulenberg 2018-05-06 20:01:53 +02:00
parent 858663444e
commit 95002da66c
3 changed files with 20 additions and 20 deletions