From a33a56c7539bc3b992f46ca4fc7ebba61bd3cb04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 12:33:12 +0000
Subject: Comments.

---
 generic/pg-user.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'generic')

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 ()
-- 
cgit v1.2.3