rename custom option
commit42cb137c8c1ba35a82275c8f5a5d1b89f272be87
authorstardiviner <numbchild@gmail.com>
Thu, 5 Sep 2024 07:55:03 +0000 (5 15:55 +0800)
committerstardiviner <numbchild@gmail.com>
Thu, 5 Sep 2024 07:55:03 +0000 (5 15:55 +0800)
tree46d3507e81995027d205e6980cab0ba7e22aea05
parenta0b4ad7d85913ef99ed77748c288cf95431b3aeb
rename custom option
org-bookmarks.el