diff options
| author | Pierre-Marie Pédrot | 2015-01-06 15:24:14 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-01-06 15:24:36 +0100 |
| commit | 09193eeaf521c88e07a02d9088538f09561162ac (patch) | |
| tree | a985d706804a441cb66e6f7312160afb25c3f572 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | e6c2dc742732e0b2db83585b4099beb1f284143f (diff) | |
Fixing test for bug #2830.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions