diff make-dist @ 13401:178d730efae2

entered into RCS
author Lars Magne Ingebrigtsen <larsi@gnus.org>
date Sat, 04 Nov 1995 03:54:42 +0000
parents 94c647f0c13b
children 5aaab914fc6b
line wrap: on
line diff