diff options
| author | Dmitrii Kuznetsov <torgeek@gmail.com> | 2021-02-22 18:41:28 +0300 |
|---|---|---|
| committer | Dmitrii Kuznetsov <torgeek@gmail.com> | 2021-02-22 18:41:28 +0300 |
| commit | f4c740839d78f797e9cbcfa1eb0483ac0ea45501 (patch) | |
| tree | 88ee4229314b0ec766f98d8d9fe6fee05d08abcd /ocaml.html.markdown | |
| parent | 363d5281f1e3d5bee6339b5316405b0a4b592c49 (diff) | |
correct a typo in the word
Diffstat (limited to 'ocaml.html.markdown')
0 files changed, 0 insertions, 0 deletions