diff options
| author | Théo Zimmermann | 2017-10-11 16:51:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-10-18 14:41:24 +0200 |
| commit | b28c81c2a64494f816d3d4ef5bfb56f33500e9d9 (patch) | |
| tree | 2b845c3b5d42e3ead90eef20718b4a0c4f84e442 /_CoqProject | |
| parent | 354ee7d67efda8624cb46e942f2a41211cadd030 (diff) | |
Moving to GitHub issues.
This commit adds an issue template asking for version and OS information
and adapts the contributing guide to the change of bug tracker.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions