diff options
| author | JSDurand <mmemmew@gmail.com> | 2021-08-05 15:45:46 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2021-08-05 15:45:46 +0800 |
| commit | 47a56604069e5fc04a1dfa60ff6bf006b11539a4 (patch) | |
| tree | 47efad1e921884f0d37b83f14982526a497f4efe /desktop-conf.el | |
| parent | a0ad8becd6f1cb5e7a48389dc7ea5029040fc4ca (diff) | |
new: man-conf.el
* man-conf.el (durand-member): A helper declared in another
configuration file.
(Man-kill, durand-Man-kill): Overriding the default Man-kill to also
kill the tab associated with the Manual page.
Diffstat (limited to 'desktop-conf.el')
0 files changed, 0 insertions, 0 deletions