diff options
| author | Georges Gonthier | 2018-11-13 15:01:59 +0100 |
|---|---|---|
| committer | Georges Gonthier | 2018-11-13 15:01:59 +0100 |
| commit | d7eb1ba8b86eebc743e3d419532127b77c6e91cc (patch) | |
| tree | 031d6f128956943fe33b91711f6042b92e01bb16 /.github/pull_request_template.md | |
| parent | c6752029e2a43766a62e5059d7849ec971176452 (diff) | |
Ignore generated Makefile.coq.conf
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions