diff options
| author | Emilio Jesus Gallego Arias | 2019-04-30 23:55:35 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-30 23:55:35 +0200 |
| commit | 0ad2733e202f98953c6bc1569d191a36b746df03 (patch) | |
| tree | a09cbc918c1196440e4c209613e2c1da7fb0a34b /plugins/syntax/plugin_base.dune | |
| parent | bb4f304848e04c492d98db5da0bdb1895cecc191 (diff) | |
| parent | d9a975352e5982602d3315facfa005ea40b16bcb (diff) | |
Merge PR #10032: Remove leftover test suite file Quote.out
Reviewed-by: ejgallego
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions