diff make-dist @ 31645:0d9e6ed2718b

(menu-bar-files-menu): Disable ``Save'' if current buffer has no file name.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 15 Sep 2000 20:27:06 +0000
parents 28cc44c6c08c
children f50932a70105
line wrap: on
line diff