diff options
| author | Tanaka Akira | 2019-02-08 10:58:00 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-02-08 10:58:00 +0900 |
| commit | ca40e534580a67ca327b5f1b054e4089ac2ee281 (patch) | |
| tree | c71373fafa748015dd018e49eec82abd1aba4c1d /kernel/nativecode.mli | |
| parent | c4bc44f893cda7bba2118311a413d2ad22f02a98 (diff) | |
Remove spaces just before period (non-math mode).
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions