more indentation fixes

This commit is contained in:
Arjan Molenaar 2024-07-02 21:30:31 +02:00
parent e9ee147ac9
commit 71e87fc29c