diff options
author | JSDurand <mmemmew@gmail.com> | 2022-04-18 11:40:00 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2022-04-18 11:40:00 +0800 |
commit | b4cdcaf42ab97dce092949b4d6110f858b5ffd36 (patch) | |
tree | 451ab3d3775953b5ea6d50a5b89b9ef25f6f8629 /tex-conf.el | |
parent | 2e7a42d50fcfb9271137f7235333cdc6e92fb18f (diff) |
bookmark-conf: refine bookmark handler handling
* bookmark-conf.el: Remove bookmark(-handler)? from the name of the
group heading.
Diffstat (limited to 'tex-conf.el')
0 files changed, 0 insertions, 0 deletions