diff options
| author | Gaëtan Gilbert | 2020-02-24 14:15:37 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-24 14:15:37 +0100 |
| commit | 60cb594b3cb7d1275a4067a3cf33c902a69682c8 (patch) | |
| tree | 5bdd8ffcb134e462bd867ff21ea2106a0d000558 /plugins/syntax/plugin_base.dune | |
| parent | 5fd281945bdc60c2a88f60503663df32920ef83b (diff) | |
Remove hard to read blue color in merge-pr
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions