diff config.bat @ 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 de6995fec29e
children 9eae919f9a23
line wrap: on
line diff