diff options
| author | Pierre-Marie Pédrot | 2015-02-27 21:10:30 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-27 21:10:30 +0100 |
| commit | 78d1a61730886f89b01fa4245e58b54dd50fb4cf (patch) | |
| tree | e142dc038bca551d4a6ef947c1432b757dba90c7 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | fc1b3ef9d7270938cd83c524aae0383093b7a4b5 (diff) | |
Adding a test for bug #3612.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions