diff make-dist @ 6235:d93350e9d2bc

(get_minibuffer): Make name buffer large enough.
author Karl Heuer <kwzh@gnu.org>
date Mon, 07 Mar 1994 18:55:55 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff