* gnus.texi (extensions): Removed.
authorLars Magne Ingebrigtsen <larsi@gnus.org>
Mon, 1 Jan 2001 12:21:33 +0000 (12:21 +0000)
committerLars Magne Ingebrigtsen <larsi@gnus.org>
Mon, 1 Jan 2001 12:21:33 +0000 (12:21 +0000)
commit4101ac1ef99f5c22aa86093060b28fb8773b019c
tree8ffa3d7b0c81c4529f0d342eb9beff54dd4ac334
parent11f49b82fa9ec160e9e311388e767fb57ad5a774
* gnus.texi (extensions): Removed.
texi/ChangeLog
texi/gnus.texi