diff options
| author | Gan Shen | 2019-03-24 18:01:00 +0800 |
|---|---|---|
| committer | GitHub | 2019-03-24 18:01:00 +0800 |
| commit | c02b0a35ba391a7217421aeec2e59fabd49ac249 (patch) | |
| tree | 41f8da321981f1c656b0f9b0b670a4497442d09e /kernel/nativecode.ml | |
| parent | e8fd832d9e487fa57e2efe627223d04ff2977fa9 (diff) | |
Fix typo
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions