diff options
| author | Théo Zimmermann | 2020-07-09 11:27:29 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-07-09 11:27:29 +0200 |
| commit | 3416439d4a5b0f109b53a41faf81ad2c56ca69c6 (patch) | |
| tree | 768dfbc84945dd2d133a10f5d975a7aae14a19c6 /CONTRIBUTING.md | |
| parent | 769823c425f1b3ffc87141ede814976f6cf44128 (diff) | |
Fix typo in contributing guide.
Notice by Jim Fehrle.
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8a09e43c94..d561ec8a12 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -184,7 +184,7 @@ stream][Zulip-dev] of our Zulip chat. Finally, we strongly encourage authors of plugins to submit their plugins to join Coq's continuous integration (CI) early on. Indeed, -the Coq API gets continously reworked, so this is the best way of +the Coq API gets continuously reworked, so this is the best way of ensuring your plugin stays compatible with new Coq versions, as this means Coq developers will fix your plugin for you. Learn more about this in the [CI README (user part)][CI-README-users]. |