diff options
| author | Hugo Herbelin | 2015-02-26 14:33:20 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-03-03 18:08:03 +0100 |
| commit | 9256b2eae87f342473dccc05308ffe4758780795 (patch) | |
| tree | e0e6f1600c5a373abb6fd0c06822c93c2b24f3f8 /plugins/syntax/string_syntax.ml | |
| parent | 51b4d0cdad77f2874bd481dabd32e0772563dc3f (diff) | |
Typos in doc modules.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions