diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-24 11:39:12 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-24 11:39:12 -0700 |
| commit | 66a061418ac025024910994a41d6ad0080307daa (patch) | |
| tree | 3e69e5ac42dd6198e4047780b8a164573ca23965 /CONTRIBUTING.md | |
| parent | df5f15a17a8f3b92ae1ea776e5cf079d61e6404c (diff) | |
CONTRIBUTING: Fix project leaders link.
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index bbcb077b3..f7ce76293 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -50,7 +50,7 @@ By making a contribution to this project, I certify that: this project or the open source license(s) involved. ``` -If you are interested in becoming a long term contributor (for example, a new -decision procedure implementation) to the CVC4 project, please contact one of -the [project leaders](#project_leaders). We'd be happy to point you to some -internal documentation to help you out. +If you are interested in becoming a long term contributor to the CVC4 project, +please contact one of the +[project leaders](https://cvc4.github.io/people.html#project-leaders). +We'd be happy to point you to some internal documentation to help you out. |