HomeSoftware Heritage

Remove git-(add|rm)-pro-commit-hook scripts

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Remove git-(add|rm)-pro-commit-hook scripts

these should now be useless.

Details

Provenance
douarddaAuthored on Nov 21 2019, 6:28 PM
douarddaPushed on Nov 22 2019, 10:13 AM
Differential Revision
D2337: Use 'pre-commit install' as fixups hook

Commit No Longer Exists

This commit no longer exists in the repository.