diff options
| author | Vasilij Schneidermann <mail@vasilij.de> | 2017-09-04 22:59:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-04 22:59:00 +0200 |
| commit | 485bf5399bbad17ff0cbb3787de67b9a5a5665dd (patch) | |
| tree | 69c598f71424536bf1629e6b60918a031ffe5f1f /lib | |
| parent | 9f69a7c6967613fd42fb9e21ef379fad067213fb (diff) | |
| parent | 471a070408f319ed5fc2bff4b801b484e1efa26d (diff) | |
Merge pull request #918 from jgkamat/jay/dir-locals
Add a dir-locals file
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions