diff options
| author | Pierre-Marie Pédrot | 2014-12-14 13:25:27 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-12-14 13:25:27 +0100 |
| commit | d3c91b093c8adeba2225e453f50a9936e1adb012 (patch) | |
| tree | 6492ade006d756eb9c93f45e8f925e4313c46fec /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 180af0dde65e4532cdeb13ec9aa43d8e83f7408f (diff) | |
Revert "Fixing bug #3817."
This reverts commit ad2a0308b1592c7235714a2cca926f3b55accbb2.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions