* gnus.texi: Change .gnus to .gnus.el.
authorLars Magne Ingebrigtsen <larsi@gnus.org>
Sat, 11 Jan 2003 21:47:28 +0000 (21:47 +0000)
committerLars Magne Ingebrigtsen <larsi@gnus.org>
Sat, 11 Jan 2003 21:47:28 +0000 (21:47 +0000)
commit7d1a15312be3c644ca5b1fb7ef992616a5554d8d
tree144e9712a7f9b6eadf16c9a9761b97840168151c
parent3bdabd34a52726a0d840842fd2330baafedf3e48
* gnus.texi: Change .gnus to .gnus.el.
(Agent Commands): Remove batch here.
(MIME Commands): Add.
texi/ChangeLog
texi/gnus.texi