diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-06-19 01:43:50 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-06-19 01:43:50 +0800 |
| commit | 65db3d46ee23f6b17d899d9fefcb41dd0471b4bc (patch) | |
| tree | c474e86960497343e330cd223d6262671c9e14c3 /.gitignore | |
| parent | 409afb58f365d609c80c598a5de687213c027065 (diff) | |
desktop: inhibit message when saving bookmarks
* desktop-conf.el (desktop-also-save-bookmarks): Inhibit message when
saving bookmarks as a consequence of saving the desktop file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions