diff options
| author | Kenji Maillard | 2020-04-22 15:35:22 +0200 |
|---|---|---|
| committer | Kenji Maillard | 2020-04-23 19:41:11 +0200 |
| commit | 29c9d9bd47d5b8cecd6a3ce038cef4302754329f (patch) | |
| tree | 8f7c415c50886ec716f225891f75bc673b3a3692 /kernel/nativecode.ml | |
| parent | 0c4775fcb48207c96752b81c76f67c17e5fd3c99 (diff) | |
[documentation] ssreflect: Abbreviations do not support scope
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions