diff options
| author | Théo Zimmermann | 2019-02-13 21:03:11 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-13 21:03:11 +0100 |
| commit | 6d71db62424b942991d967dfaced75fb886fa2d8 (patch) | |
| tree | ecb4ce8c713670a9ac01042a9ff3286cae0358a9 | |
| parent | 370b66eb8698ec7c2ebee985a5ec807271171c9f (diff) | |
Advertise code of conduct in contributing guide.
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9af4e10a38..7ce1817fc1 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,7 +1,8 @@ # Contributing to Coq Thank you for your interest in contributing to Coq! There are many ways to -contribute, and we appreciate all of them. +contribute, and we appreciate all of them. Please make sure you read and +abide by the [Code of Conduct](CODE_OF_CONDUCT.md). ## Bug Reports |