smaller improvements #182

Merged

muellerr merged 1 commits from smaller-improvements into main 2024-05-02 12:28:40 +02:00

Conversation 0 Commits 1 Files Changed 4 +5 -6

1 Commits

Author	SHA1	Message	Date
Robin Mueller	e37061dcf0	smaller improvements	2024-05-02 12:28:09 +02:00