diff options
| author | Gaëtan Gilbert | 2018-10-29 14:00:58 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-02 13:48:39 +0100 |
| commit | e06875ccc11c52b9b9526858c18358a9c4588099 (patch) | |
| tree | 10ad88829b056036fbc1aad563a7075f345cb594 /plugins/syntax/plugin_base.dune | |
| parent | 00a8604d89f47c903fc5283eebdda67c87468699 (diff) | |
Remove ml4 from Coq's make build system
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions