diff options
| author | Hugo Herbelin | 2020-01-22 11:16:42 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-22 11:16:42 +0100 |
| commit | 2c71d636f80327500ea75c1c1ce59c554001a078 (patch) | |
| tree | eb099edaa3bcd7f706b7868bd48a0b179511770f /plugins/syntax/plugin_base.dune | |
| parent | f93782dbbb2e61e6664a09b3ae7981223e57f9d3 (diff) | |
| parent | 271cfa9e6a75c26ad186a6e76fbe33b10e0c3482 (diff) | |
Merge PR #11433: [xml-protocol doc] Fix link to vscoq
Reviewed-by: Zimmi48
Reviewed-by: herbelin
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions