diff make-dist @ 13475:ddf1e34018d2

(menu-bar-tools-menu): Always define GNUS entry.
author Richard M. Stallman <rms@gnu.org>
date Fri, 10 Nov 1995 17:18:23 +0000
parents 2e30fc2cbae8
children 34c4ee840e09
line wrap: on
line diff