diff etc/compilation.txt @ 110864:a02b037266f7

* doc/misc/gnus.texi (Article Washing): Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 08 Oct 2010 18:49:20 -0700
parents 6994dcd2f3fa
children 85f869bc6e5c
line wrap: on
line diff