minor syntactic changes

This commit is contained in:
2025-02-25 10:20:20 +02:00
parent 09fc15a8c9
commit 394d4b1fcf
3 changed files with 34 additions and 15 deletions

Binary file not shown.