summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2022-04-10 13:06:08 +0800
committerJSDurand <mmemmew@gmail.com>2022-04-10 13:06:08 +0800
commitdeac1e938f092cc62058eda83d5722a2d3cf79b2 (patch)
tree5955c7a23dbf9dab67e6312aedcb03bc6980f0b8 /.gitignore
parentb6a0e0eaa69d071317f1d4fff6b0b2340f11c47d (diff)
recentf-conf: don't check if a remote file exists
* recentf-conf.el (file-exists-or-remote-p): If a file name specifies a remote file, treat it as an existing file. (choose-recent-file): Don't check if a remote file exists. Otherwise it will take a sizeable amout of time whenever I want to open a recent file, which is kind of unacceptable to me.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions