diff etc/ps-prin0.ps @ 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 c90853557b90
children 1d1d5d9bd884
line wrap: on
line diff