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 /bookmark-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 'bookmark-conf.el')
0 files changed, 0 insertions, 0 deletions