diff options
| author | Théo Zimmermann | 2019-07-05 19:05:00 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-07-11 09:55:19 +0200 |
| commit | ffa7a1da5927c7c4a425a3c4d9b3decf45a2732b (patch) | |
| tree | d88d2ea226f4903b4b0842a861471a8f4bbd880c /vernac/comProgramFixpoint.ml | |
| parent | 8b25ae74cde213a1ec0e48c12f2ff62aad7c7429 (diff) | |
Improve contributing guide further following reviewers' comments.
Thanks to the reviewers: Jim Fehrle, Emilio Gallego, Gaëtan Gilbert, Enrico Tassi.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions