diff options
| author | Théo Zimmermann | 2020-06-18 09:18:46 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-18 09:18:46 +0200 |
| commit | 33e763a441022623621536766ac38c3021dcb65c (patch) | |
| tree | b11a8a26af12e8bc334bf3e6fab685e602978ddb /kernel/nativelambda.mli | |
| parent | 6499de1a834fa4e039246ac8b821ca23dd2a497e (diff) | |
| parent | 5fbbf2f3f86909c68b97f4587de9fea07cdc0711 (diff) | |
Merge PR #12536: tactics.rst: fix typo — readd `cbv` to title of its section
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions