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/nativelambda.ml | |
| parent | c4bc44f893cda7bba2118311a413d2ad22f02a98 (diff) | |
Remove spaces just before period (non-math mode).
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions