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