diff options
| author | Matthieu Sozeau | 2018-10-18 16:12:27 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2019-02-08 11:20:07 +0100 |
| commit | ad0cf24789b0f7d5b12cef4d09f93c9d9aeb6150 (patch) | |
| tree | 319361e70593650cfc2495a4b088fb4a9528ddd3 /plugins/syntax/plugin_base.dune | |
| parent | 2265d20c48dff6e1ea9a5cb9be9640603f3be3cf (diff) | |
Fix issue found in GeoCoq
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions