comparison make-dist @ 9550:5b91f8657de6

(gnus-group-group-name): Get rid of text properties.
author Richard M. Stallman <rms@gnu.org>
date Sun, 16 Oct 1994 01:40:38 +0000
parents 014e2214b8cb
children 35cdd4523abf
comparison
equal deleted inserted replaced
9549:1de7e5bc1ff1 9550:5b91f8657de6