diff options
| author | JSDurand <mmemmew@gmail.com> | 2022-07-16 13:13:03 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2022-07-16 13:13:03 +0800 |
| commit | 7c32b41d8242d4d0dbe558b5fcfc49b710d2a3e6 (patch) | |
| tree | 12e992287b7a623a510fdffab0fee6b1ab6f497e /.gitignore | |
| parent | 7a3084dcfdca7fa6e07f8525272001e8199da9e9 (diff) | |
bookmark: using print instead of pp is quicker
* bookmark-conf.el (durand-bookmark-write-file, bookmark-write-file):
Just as the title says.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions