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 /kernel/typeops.ml | |
| 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 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions