diff options
| author | Maxime Dénès | 2019-01-23 08:56:32 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-23 08:56:32 +0100 |
| commit | 9e7f3ab6bee7543fbd2929e5c909a65c4d46a6bf (patch) | |
| tree | c131e942017fe80b0999bbb81abff783012851a3 /plugins/syntax/string_notation.mli | |
| parent | 03c17218eeacb098ff57ecee1d98f46b7c8fa185 (diff) | |
| parent | d0e15b37280846be735fff4c2317ca18e965692e (diff) | |
Merge PR #9239: [ci] [appveyor] Pass -j2 to Appveyor's build and build test suite again
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions