diff options
| author | charguer | 2019-10-25 13:13:43 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-01 12:16:49 +0100 |
| commit | 5efdfe979fd316372c59d9406fa7ade46aa6814a (patch) | |
| tree | 02945b5124ae1b02a006c15094eb3c371e8e64cb /plugins/syntax/plugin_base.dune | |
| parent | fb6afb4a7256b33725660668738bc17c84ae94f5 (diff) | |
fix coq_makefile and doc for vos support.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions