diff options
| author | Tanaka Akira | 2019-02-08 17:32:58 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-02-08 17:32:58 +0900 |
| commit | ca4f889838291674a692f6c0fe8b45caa9d9c850 (patch) | |
| tree | 67576456b68aaa6998602d1b927d2bf5db4a4d3f /kernel/nativecode.mli | |
| parent | 3062110eca5ea6f190d10b07716ee20b9bc2b6ad (diff) | |
Use math mode more.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions