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 |