* gnus.texi (Splitting Mail): Mention gnus-summary-respool-trace.
authorLars Magne Ingebrigtsen <larsi@gnus.org>
Sat, 1 Jul 2000 21:11:11 +0000 (21:11 +0000)
committerLars Magne Ingebrigtsen <larsi@gnus.org>
Sat, 1 Jul 2000 21:11:11 +0000 (21:11 +0000)
commit4ee304a6566f9d89df11fd597e60559d0849a3fe
treedd0f841e5f1be356d52c43f9994f33952da4cdca
parent227dd529d6f999e2f49d9b0c93ce5fef64114433
* gnus.texi (Splitting Mail): Mention gnus-summary-respool-trace.
(Searching for Articles): Fix.
texi/ChangeLog
texi/gnus.texi