diff options
| author | Pierre Letouzey | 2018-04-06 16:37:47 +0200 |
|---|---|---|
| committer | Jason Gross | 2018-08-31 20:05:53 -0400 |
| commit | 93119295d0dd81669b46f52032c1bfe8f36afca0 (patch) | |
| tree | 1da3e4a03e3893c30d72c0612660974b3ea2459d /plugins/syntax | |
| parent | 3c2331a4a9d8c5d5f27c90185c616fe3400d4f1f (diff) | |
Prelude : update the comment about ML plugins loaded by Init
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions