diff options
| author | Enrico Tassi | 2015-03-17 18:32:52 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-22 12:08:03 +0100 |
| commit | c6e628b75a549ade8b1133fdea9101f49ca4f991 (patch) | |
| tree | ca211c5f52298b4ce5271e8b4543ad98452ff127 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | c2d165e1ccfde9166b262b3fbcd9c648aef26528 (diff) | |
typo
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions