diff options
| author | Théo Zimmermann | 2021-02-22 23:19:14 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2021-02-22 23:19:14 +0100 |
| commit | 16b04b00e33d4747e3366edd7955c5445c2679af (patch) | |
| tree | 241e8b713fcddb9ebd4c20d20c49cd4ba156b407 /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | a2938972537389b9813794147412f51494f48dd1 (diff) | |
Fix the release process checklist with respect to the refman update.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions