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