diff src/=unexsgi.c @ 4371:fb0e37e7afae

(mouse-choose-completion): Actually choose that alternative, don't just insert its name.
author Richard M. Stallman <rms@gnu.org>
date Sat, 31 Jul 1993 05:31:58 +0000
parents c10bb302a315
children 1c2342e0edae
line wrap: on
line diff