diff options
| author | Théo Zimmermann | 2017-09-01 17:23:38 +0200 |
|---|---|---|
| committer | GitHub | 2017-09-01 17:23:38 +0200 |
| commit | c3289357d25ba3204c9a00c37273de5e29bb0b1a (patch) | |
| tree | 5e7ce3db77b2eaf9c1ed10d5e671448262ff9537 /kernel/nativecode.mli | |
| parent | 3072bd9d080984833f5eb007bf15c6e9305619e3 (diff) | |
Fixing various typos in the Credits chapter.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions