some more refinements

This commit is contained in:
2025-06-01 18:20:02 +02:00
parent 4cfffa1010
commit 2814106f31
7 changed files with 44 additions and 30 deletions
Binary file not shown.