Dominic Reich 8904e88530 fix git hook pre-push ... - failed to rsync files before push because of `-N`		2023-08-12 08:57:05 +02:00
..
pre-commit	update lastmod git-hook	2023-04-10 10:12:15 +02:00
pre-push	fix git hook pre-push	2023-08-12 08:57:05 +02:00