diff options
| author | Gaëtan Gilbert | 2019-02-22 22:59:47 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-22 22:59:47 +0100 |
| commit | c37e90b67c74b32837409a9a424757246067ef1b (patch) | |
| tree | 639db4ec57048e96a50a9711c9d15f7c72fe9346 /doc/plugin_tutorial/tuto1/src/dune | |
| parent | dea9f08178efcf9cfac7ee2970dc21abc2fde308 (diff) | |
| parent | c5e2f573ef079800eed4c8246c4f2bd39bf47b26 (diff) | |
Merge PR #9364: Apply implicit binders to Hypothesis inside sections.
Reviewed-by: SkySkimmer
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/dune')
0 files changed, 0 insertions, 0 deletions