diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-26 15:00:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-05 13:05:43 +0200 |
| commit | 965c63f36c928c6e901f0f7f7a72a259f844f70c (patch) | |
| tree | c19ce6081991b3df4f7ce4a50affcb3e43d98d76 /ide/MacOS | |
| 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 'ide/MacOS')
0 files changed, 0 insertions, 0 deletions