diff make-dist @ 86919:f7d29ef23ff8

Move here from gnus/.
author Glenn Morris <rgm@gnu.org>
date Sat, 01 Dec 2007 21:04:51 +0000
parents c9c2e3b42307
children 2c4cf44f634f
line wrap: on
line diff