diff options
| author | Théo Zimmermann | 2018-11-28 14:27:03 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-28 14:27:03 +0100 |
| commit | 1939c89fd7b740f67e29dd631b727871b4b5e6a8 (patch) | |
| tree | 700e1664f34bda3017e0aa803c51c479e4b1a321 /plugins/syntax/string_notation.mli | |
| parent | 2b27b8880254420f1630d8d40442d72c0e2255c2 (diff) | |
Remove Windows from allow_failure now that addons are not tested on PRs.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions