consistency-and-renaming #10

Merged

muellerr merged 2 commits from consistency-and-renaming into main

2025-07-31 18:48:00 +02:00

Author	SHA1	Message	Date
muellerr	924ca98fc6	de-abbreviate some stuff ci / Check build (push) Has been cancelled Details ci / Check formatting (push) Has been cancelled Details ci / Check Documentation Build (push) Has been cancelled Details ci / Clippy (push) Has been cancelled Details ci / Check build (pull_request) Has been cancelled Details ci / Check formatting (pull_request) Has been cancelled Details ci / Check Documentation Build (pull_request) Has been cancelled Details ci / Clippy (pull_request) Has been cancelled Details	2025-07-31 18:47:05 +02:00
muellerr	bd5bbe2a42	major renaming ci / Check build (push) Has been cancelled Details ci / Check formatting (push) Has been cancelled Details ci / Check Documentation Build (push) Has been cancelled Details ci / Clippy (push) Has been cancelled Details	2025-07-31 18:37:05 +02:00