diff options
| author | Théo Zimmermann | 2020-01-31 23:14:49 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-31 23:17:51 +0100 |
| commit | 37070565e8b7bead15f5abda2c409f1ad2348fa1 (patch) | |
| tree | 94726ba076f11a565346b12bc3a5ec162dca527d /kernel/nativelambda.ml | |
| parent | 40cf15b764e3c164a5913eb3347cc32684fbb77e (diff) | |
Clarify expectations for overlays in contributing guide and CI doc.
Contributors are *not* required to prepare all the patches by
themselves. They can request help from project authors, who should be
ready to take part in this.
Also, finish replacing "development" by the more appropriate word
"project".
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions