| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add CODEOWNERS entry for check-owners*.sh |  Gaëtan Gilbert | 2018-05-07 |
| * | Remove dev/doc/changes.md from files with a code owner. |  Théo Zimmermann | 2018-03-29 |
| * | Add Michael Soegtrop as a code owner for Windows build scripts. | Théo Zimmermann | 2018-03-26 |
| * | Use Pierre Corbineau GitHub nickname in CODEOWNERS. | Théo Zimmermann | 2018-03-26 |
| * | Merge PR #7046: Switch maintainers for documentation | Théo Zimmermann | 2018-03-23 |
| |\ | |||
| * | | Owners for developer tools |  Maxime Dénès | 2018-03-22 |
| | * | Switch maintainers for documentation | Maxime Dénès | 2018-03-22 |
| |/ | |||
| * | Switching owners for `META.coq` | Maxime Dénès | 2018-03-21 |
| * | Fix appveyor entry in CODEOWNERS. | Maxime Dénès | 2018-03-21 |
| * | Refine a bit the decentralized merging process. | Maxime Dénès | 2018-03-21 |
| * | Update CODEOWNERS |  Enrico | 2018-03-20 |
| * | Add CODEOWNERS | Maxime Dénès | 2018-03-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |