diff options
| author | Enrico Tassi | 2020-06-17 13:14:56 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-06-17 13:14:56 +0200 |
| commit | fd173d59f79f3918ee5c3bd8b560b075a3749a75 (patch) | |
| tree | 734e327f67c9e19bfe155cbd41eaae8fbc6bc8eb /plugins/syntax/string_notation.mli | |
| parent | a006765a56f2af1e0726fa1dd502bf6e9b5d8ced (diff) | |
| parent | ce26ccfd0160265af975f84727e45bb97da39628 (diff) | |
Merge PR #12506: [toplevel] Annotate tailcall functions
Reviewed-by: maximedenes
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions