| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | github-check-prs.py: print PR URLs when needed. |  Gaëtan Gilbert | 2018-01-08 |
| * | github-check-prs.py: Strip spaces from token from command line | Gaëtan Gilbert | 2018-01-08 |
| * | github-check-prs.py: command line option to get token from a file | Gaëtan Gilbert | 2018-01-08 |
| * | Expound on dependencies for github-check-prs.py | Gaëtan Gilbert | 2017-12-30 |
| * | Python script checking missing/unnecessary [needs: rebase] label | Gaëtan Gilbert | 2017-12-30 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |