diff options
| author | Maxime Dénès | 2017-08-29 17:33:03 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-29 17:33:03 +0200 |
| commit | d1c64c9e74604d08541070f70537d80f7d49d345 (patch) | |
| tree | 7f5e06f01ae10401348e0229de6d3b12a2a3cf4a /README.md | |
| parent | f1806ab001cfbc9548e607397fc55b9c1be7c25b (diff) | |
| parent | 2b4bdaa784b6db01f584b1a49e0887458da2b45b (diff) | |
Merge PR #961: Add a set of contributing guidelines
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -47,3 +47,7 @@ Send your bug reports by filling a form at [coq.inria.fr/bugs](http://coq.inria. To be effective, bug reports should mention the OCaml version used to compile and run Coq, the Coq version (`coqtop -v`), the configuration used, and include a complete source example leading to the bug. + +## Contributing + +Guidelines for contributing to Coq in various ways are listed in the [contributor's guide](CONTRIBUTING.md). |