Pim Kunis 97d2dc1169 enable git diff in git commit ... remove old garbage		2023-10-18 21:08:03 +02:00
..
default.nix	enable git diff in git commit	2023-10-18 21:08:03 +02:00