Files
2021-03-18 15:42:28 +00:00

3 lines
144 B
Plaintext

This is run by a git pre-commit hook before committing changes to the
repository. This can be used for storing metadata, and for sanity checks.