diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-02-19 10:07:23 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-19 10:07:23 +0100 |
| commit | 8e9d1421354d55bc2ea71e37715a19d33cc9bc9c (patch) | |
| tree | ec38dd5eac6843ce61e3e499a359eb103f15cb3d /tools | |
| parent | 2a47eae1c4556a34ecf91a27f756e299dfe18a98 (diff) | |
| parent | d9cb50d8f9b2bb16ddf7c27c146e09d7de33b90f (diff) | |
Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions