diff options
| author | Pierre-Marie Pédrot | 2014-03-03 03:42:49 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-03 03:43:21 +0100 |
| commit | 7b7187ab30c945f7929299833a92ee01737519a6 (patch) | |
| tree | 5991e300ed276b6ca6b6fdd08e6449a2e4e23754 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 3ec4c04b4a2f497cd1b933dbf6b646b923ee6690 (diff) | |
Goptions do not rely anymore on generic equality.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions