diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-08-05 13:36:26 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-08-09 00:42:52 -0400 |
| commit | 2abd461344f3a4d37584795a2644c102c098edc8 (patch) | |
| tree | 99e048165cd6ad248a8ca2184d1034f497b77af1 /.dir-locals.el | |
| parent | 3ab779475759277e4a0f1289bc2a1d83ca1b5d39 (diff) | |
hwdb: comment out a duplicated key for the XO
It's hard to say which one of the two mappings should stay. But the later
one would win (when both very present), and nobody complained, so let's
assume that that's the one.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions