De-minified everything (for better git diffs); also fixed anyways wrong build from previous commit

This commit is contained in:
2025-04-09 17:18:04 +02:00
parent 5b8d74064e
commit e1478a9a88
80 changed files with 241 additions and 241 deletions

File diff suppressed because one or more lines are too long