diff doc/misc/ede.texi @ 105738:89a1bad44673

(octave-complete-symbol): Use choose-completion if mouse-choose-completion is ever removed.
author Glenn Morris <rgm@gnu.org>
date Sat, 24 Oct 2009 03:48:37 +0000
parents 6104e7688824
children 2313ef258869
line wrap: on
line diff