diff options
| author | coqbot-app[bot] | 2021-02-23 12:02:38 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-23 12:02:38 +0000 |
| commit | 1c80a79ae2824027edeea2439bf7e53298724be8 (patch) | |
| tree | 6ff9f5807e498e5cea6eb1f86b981926eed54098 /doc/plugin_tutorial/tuto1/src/dune | |
| parent | 64f12dec42adeaeb06266ab8aadd56a9f544b823 (diff) | |
| parent | 16b04b00e33d4747e3366edd7955c5445c2679af (diff) | |
Merge PR #13880: Fix the release process checklist with respect to the refman update.
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/dune')
0 files changed, 0 insertions, 0 deletions