3 Commits

Include renames

Author	SHA1	Message	Date
David Wobrock	7f6e8997eb	Update pre-commit hooks.	2023-07-02 20:36:03 +02:00
David Wobrock	202a6d9d5d	Add files to .gitignore and other improvements.	2022-12-26 16:26:24 +01:00
David Wobrock	f86e0622a5	Add pre-commit hook and use in CI.	2022-12-26 16:26:24 +01:00