diff src/intervals.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 23fe7f6c9ae4
children d4a36c1669e6
line wrap: on
line diff