| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | use at least 6 Xs in mktemp filename templates |  Sven M. Hallberg | 2018-05-09 |
| * | pre-commit : do not fail miserably if git config has `apply.whitespace = fix` |  Pierre Letouzey | 2018-04-17 |
| * | pre-commit: verify user overlay extensions (must be .sh). |  Gaëtan Gilbert | 2018-03-31 |
| * | 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 | 2018-02-08 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |