diff options
| author | Maxime Dénès | 2019-01-22 23:24:09 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-22 23:24:09 +0100 |
| commit | 9f58e0a4fa814484f188236ebb39e86dd737d218 (patch) | |
| tree | 039f6483c10c21c06943710f42d53bca3e3a5a04 /plugins/syntax/string_notation.mli | |
| parent | 03c17218eeacb098ff57ecee1d98f46b7c8fa185 (diff) | |
Transfer maintenance of appveyor infrastructure to the CI team
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions