4 Commits

Author	SHA1	Message	Date
Jörg Thalheim	930923512c	replace pre-commit with shell script ... This saves one flake input and some python dependencies	2023-08-03 14:43:20 +02:00
DavHau	cb307f761a	formatting: add pre-commit hook to dev shell	2023-07-28 18:12:31 +02:00
DavHau	dc09453617	merge-after-ci: init	2023-07-28 15:10:24 +02:00
DavHau	60ba233e77	devShells.default: init	2023-07-28 15:10:24 +02:00