diff src/s/hpux.h @ 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 7be0f0a02725
children f18272ebe3e6
line wrap: on
line diff