diff make-dist @ 8790:af08b3d2e30f

(read_minibuf): Don't add to the history list if the minibuffer string is empty, since it is not very useful.
author Karl Heuer <kwzh@gnu.org>
date Fri, 16 Sep 1994 21:31:00 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff