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