diff options
| author | Vadim Zaliva | 2017-04-26 11:21:10 -0700 |
|---|---|---|
| committer | GitHub | 2017-04-26 11:21:10 -0700 |
| commit | 2fc235b0e00c028d2e91c696926ad339232d51e3 (patch) | |
| tree | 5aac50c21c08138256f5800c6daf68357326a6ba /kernel/nativevalues.ml | |
| parent | adc2035410a339cfa88dae527b631f5131adaa54 (diff) | |
Small typo in comment
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions