| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-04-26 | Add check-owners-pr.sh wrapper around check-owners | Gaëtan Gilbert | |
| ``` $ dev/tools/check-owners-pr.sh 6809 --show-patterns --owner '@MSoegtropIMC' remote: Counting objects: 93, done. remote: Compressing objects: 100% (3/3), done. remote: Total 93 (delta 47), reused 50 (delta 47), pack-reused 43 Unpacking objects: 100% (93/93), done. From github.com:coq/coq * branch refs/pull/6809/head -> FETCH_HEAD * branch master -> FETCH_HEAD /dev/build/windows: @MSoegtropIMC ``` | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |