chiark / gitweb /
hooks/pre-commit: check for deps repetitions