diff make-dist @ 14842:e734731ef36f

(gnus-make-face): Redo Feb 20 change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 19 Mar 1996 22:47:41 +0000
parents f41775f4f5c6
children da70e30f73b9
line wrap: on
line diff