| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-03-30 | Fix commit hook when there are no changes (eg amend message) | Gaëtan Gilbert |
| 2020-03-24 | Run ocamlformat on modified ml / mli files in pre-commit hook. | Théo Zimmermann |
| 2018-05-09 | use at least 6 Xs in mktemp filename templates | Sven M. Hallberg |
| 2018-04-17 | pre-commit : do not fail miserably if git config has `apply.whitespace = fix` | Pierre Letouzey |
| 2018-03-31 | pre-commit: verify user overlay extensions (must be .sh). | Gaëtan Gilbert |
| 2018-02-08 | pre-commit: nicer messages | Gaëtan Gilbert |
| 2018-02-08 | pre-commit: fail gracefully if fixing whitespace removes all changes | Gaëtan Gilbert |
| 2018-02-08 | pre-commit: add files after fixing ending newlines. | Gaëtan Gilbert |
| 2018-02-08 | Have the pre-commit hook also fix end-of-file nl | Jason Gross |
| 2018-02-08 | Auto-create .git/hooks/pre-commit on ./configure | Jason Gross |
| 2018-02-08 | pre-commit hook: fix whitespace error detection | Gaëtan Gilbert |
| 2018-02-08 | A pre-commit hook to magically fix whitespace issues. | Gaëtan Gilbert |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |