diff options
| author | Guillaume Melquiond | 2016-10-05 08:22:57 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-10-05 08:22:57 +0200 |
| commit | e6936f7593d6d2ea36aabf0fb021737e8dc7a9ba (patch) | |
| tree | b2f4909d71ac553b652be7c0360f963e82615ec9 /kernel/nativecode.ml | |
| parent | 2fb1f4f1bfdae2fe65c02048380fe8b6e619483e (diff) | |
Fix incorrect token description for bullets.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions