diff options
| author | Pierre-Marie Pédrot | 2020-01-11 15:26:24 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-16 20:39:31 +0100 |
| commit | 87fadda896162e3d314ecfcde2b90609927c5064 (patch) | |
| tree | 0569e3314e13fe9f4ff5e54c888c02466076178f /plugins/syntax/plugin_base.dune | |
| parent | 404a24241e3ff89994aa48524d2b34dcb4773300 (diff) | |
Code factorization in checker validation.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions