Matthew Flatt 61d2aa1a77 menu shortcuts remain in effect when a menu is disabled ... svn: r1648 original commit: ee7684dd9fa05ccf7542310a0f5b074c9fb4e7a4		2005-12-19 17:45:55 +00:00
collects	menu shortcuts remain in effect when a menu is disabled	2005-12-19 17:45:55 +00:00
man/man1	minor consistency improvements	2005-12-12 17:35:49 +00:00
notes/mred	prepare for v300	2005-12-02 22:32:17 +00:00