|
dired
|
Don't do dired git highlighting if remote
|
2020-01-27 23:50:05 +01:00 |
|
electric
|
Correct last inline hook defuns
|
2019-07-28 16:10:53 +02:00 |
|
ibuffer
|
Fix #2373: bring back package pinning
|
2020-01-25 19:02:00 -05:00 |
|
vc
|
Fix #2373: bring back package pinning
|
2020-01-25 19:02:00 -05:00 |