diff etc/tutorials/TUTORIAL @ 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 7390f2dfe6b8
children 1d1d5d9bd884
line wrap: on
line diff