Jörg Thalheim caa1c0dfd8 pre-commit: fix weird bug where commit_files is undefined in bash		2023-08-09 15:17:38 +02:00
..
pre-commit	pre-commit: fix weird bug where commit_files is undefined in bash	2023-08-09 15:17:38 +02:00