| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add check-owners-pr.sh wrapper around check-owners |  Gaëtan Gilbert | 2018-04-26 |
| * | check-owners.sh: add --show-patterns and --owner options | Gaëtan Gilbert | 2018-04-04 |
| * | Script to identify the code owner for given files | Gaëtan Gilbert | 2018-04-04 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |