Grindstone: Fix indentation

This commit is contained in:
cora 2022-08-28 15:06:06 +02:00
parent 5520f81404
commit c158be848d