diff options
| author | Enrico Tassi | 2019-01-25 22:37:57 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-01-25 22:37:57 +0100 |
| commit | 4b006833d6f866a33024e674d300f74592d24622 (patch) | |
| tree | eba3c36d343766700496cfd4ce74584d2f78cf96 /plugins/syntax/plugin_base.dune | |
| parent | 07be5ac6dcbaeb7dac4c38d6146d41d96e96da59 (diff) | |
| parent | dddfb9f99218dcc140c1a2904b0c8d0f11d9a279 (diff) | |
Merge PR #9362: Fix makefile .merlin for unit tests
Reviewed-by: gares
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions