diff options
| author | Maxime Dénès | 2015-01-12 13:50:50 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-01-12 13:50:50 +0100 |
| commit | e99e4006368fab3818812c6194d54465746c4566 (patch) | |
| tree | ab1e658475cb1e518e1611b58e0d64ee3cf21b32 /kernel/context.mli | |
| parent | 4b8cd99705596052b7b45f29c248c9d02875ccdc (diff) | |
Fix a few typos.
Diffstat (limited to 'kernel/context.mli')
0 files changed, 0 insertions, 0 deletions