diff options
| author | Enrico Tassi | 2014-12-10 11:45:34 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-10 11:45:34 +0100 |
| commit | b8f0f414f16371299ea93c6f84d5e41886bcf9e4 (patch) | |
| tree | bcf7b1e65881251d14247a35f6005b9bffdf3d54 /plugins/syntax/string_syntax.ml | |
| parent | b6296c62d391b789dd80e90209a3498f733ae10a (diff) | |
typo
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions