From d98e849d6ae79d50b4fa8d5d73b79864d2b9149a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 11 Dec 2001 00:50:21 +0000 Subject: Toolbar allowed in GNU Emacs 21 --- html/features.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html') diff --git a/html/features.html b/html/features.html index b71ec446..3fde03c4 100644 --- a/html/features.html +++ b/html/features.html @@ -99,7 +99,7 @@ proof assistant to add PBP support.") ?> available on menus; you don't need to know magical key presses for any features.

- +
-- cgit v1.2.3