diff options
| author | Matej Kosik | 2015-11-09 16:52:23 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:19 +0100 |
| commit | 5e48f1aafb45d1c883e32e13a8458979663b04fb (patch) | |
| tree | fe593e8ab9c9de25859051e01e654b564bed40a0 /kernel/nativecode.mli | |
| parent | 15311e51c20e6edc3b97f12d483dd15bfbc1164c (diff) | |
PROPOSITION: Added "if" and "then" words missing in the original sentence.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions