diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-user.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index b41fb68c..818afb78 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -467,7 +467,6 @@ Typically, a list of syntax of commands available." "Change directory to the default directory for the current buffer." proof-shell-cd-cmd (proof-format-filename proof-shell-cd-cmd - ;; FSF fix: use default-directory rather than fn default-directory)) (defun proof-cd-sync () |