From 0c26c0a8e4f78d8474f65caba5b1341463a4db78 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:10:13 +0000
Subject: Added proof-terminal-string to proof-execute-minibuffer-cmd.

---
 BUGS | 1 -
 1 file changed, 1 deletion(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index cfb89879..d6e8c577 100644
--- a/BUGS
+++ b/BUGS
@@ -89,7 +89,6 @@ interrupt, the whole process may be killed instead of interrupted.
 This isn't a bug in Proof General, but the behaviour of ssh.  Try
 using rsh instead, it is said to forward signals to the remote command.
 
-
 FSF Emacs specific bugs
 =======================
 
-- 
cgit v1.2.3