diff options
| author | Théo Zimmermann | 2018-03-26 15:00:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-04-05 13:05:43 +0200 |
| commit | 965c63f36c928c6e901f0f7f7a72a259f844f70c (patch) | |
| tree | c19ce6081991b3df4f7ce4a50affcb3e43d98d76 /dev/ci/ci-iris-lambda-rust.sh | |
| parent | 116a790f1a20cce16ba906ee9bf34b4681f69377 (diff) | |
Adapt CONTRIBUTING to recent changes in Coq.
- The testing and benchmarking labels are now distinct.
- The release manager does not take care of merging anymore.
- The reference manual is not written in LaTeX anymore.
Diffstat (limited to 'dev/ci/ci-iris-lambda-rust.sh')
0 files changed, 0 insertions, 0 deletions