diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:33:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:33:12 +0000 |
commit | a33a56c7539bc3b992f46ca4fc7ebba61bd3cb04 (patch) | |
tree | 3ae27440151c7af2dbc7ca3f3ee3199531793232 /generic | |
parent | 925d42e6de4c374c02d25a84b1e220dff3be6a0c (diff) |
Comments.
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 () |