diff options
| author | Ramkumar Ramachandra | 2020-01-21 13:49:24 +0100 |
|---|---|---|
| committer | Ramkumar Ramachandra | 2020-01-21 13:49:24 +0100 |
| commit | 271cfa9e6a75c26ad186a6e76fbe33b10e0c3482 (patch) | |
| tree | eb099edaa3bcd7f706b7868bd48a0b179511770f /plugins/syntax/plugin_base.dune | |
| parent | f93782dbbb2e61e6664a09b3ae7981223e57f9d3 (diff) | |
[xml-protocol doc] Fix link to vscoq
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions