diff options
| author | Gaëtan Gilbert | 2018-01-06 12:26:49 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-01-06 13:00:42 +0100 |
| commit | 568dffcc32cfdec78e7824fa6875d892fb9cfd5a (patch) | |
| tree | 3013a6d58f5b015778445dee15f16d15e35afb15 /plugins/syntax/string_syntax.ml | |
| parent | 2d6e395dead61a49ede6208bc40e16b4b8e68ce4 (diff) | |
Remove dir-locals and ship suggested helper hooks instead.
.dir-locals led to issues with unsafe local variable warnings. With
this method the user is opting in to running this code so there are no warnings.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions