diff options
author | Will Dietz <github@wdtz.org> | 2018-07-06 11:32:02 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-06 11:32:02 -0500 |
commit | 7835d7c74f369ff4f435f4276d4328d26ce34b0d (patch) | |
tree | fb349601020f4c7a076fae352c295893b7a912a8 /.dir-locals.el | |
parent | 140f384ff78c96e2e2d617417dab2730451dfa4b (diff) | |
parent | 481e61fad8b806a48aa30d736344cae4be88dfa6 (diff) |
Merge pull request #43076 from dtzWill/update/kitty-0.11.2
kitty: 0.10.1 -> 0.11.2
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions