diff options
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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 ======================= |
