diff options
author | Nami-Doc <vendethiel@hotmail.fr> | 2014-09-14 21:38:34 +0200 |
---|---|---|
committer | Nami-Doc <vendethiel@hotmail.fr> | 2014-09-14 21:38:34 +0200 |
commit | 66e935067c1e3a6a42662662c9d1e424ca8575ec (patch) | |
tree | 95cc3da3a624866156b2aaacb7ac03173c1283f1 /ocaml.html.markdown | |
parent | 931db8c6857ddbf47f4d2a6cb7d905f61cb61e84 (diff) | |
parent | 93423c1b828062bc800d44d7cce8c3a20169294b (diff) |
Merge pull request #766 from joelg236/patch-1
Fixed very small spelling mistake
Diffstat (limited to 'ocaml.html.markdown')
0 files changed, 0 insertions, 0 deletions