comparison make-dist @ 4118:4248276b1113

(gnus-info-nodes): Update node names.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Jul 1993 18:56:09 +0000
parents 43a30cb1b170
children c720be6f3fae
comparison
equal deleted inserted replaced
4117:f1c57e8c8bde 4118:4248276b1113