diff options
| author | Hugo Herbelin | 2015-01-23 14:25:02 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-23 14:26:14 +0100 |
| commit | 09b5e429cd4f622003277c31391bafc20b389af5 (patch) | |
| tree | 07d0d22e477c44f5d997c5ee8bf08445dfc90637 /kernel/nativelibrary.ml | |
| parent | 4f632721be8b083126f49dd900a3294521879ec4 (diff) | |
Typos, grammar, layout in CHANGES.
Diffstat (limited to 'kernel/nativelibrary.ml')
0 files changed, 0 insertions, 0 deletions