diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-07-28 10:18:08 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-07-29 01:36:42 +0200 |
commit | 0dac9618c695a345f82ee302b205217fff29be29 (patch) | |
tree | 6ce11d67daedf8ffe391df3e9ca9c3a7e899215f /kernel/retroknowledge.ml | |
parent | 0bc09220172b02c83eeba15350c26bd64cf0aa46 (diff) |
Fixing some English misspelling.
Diffstat (limited to 'kernel/retroknowledge.ml')
0 files changed, 0 insertions, 0 deletions