* gnus.texi: Add DEVEL header (suggested by Andreas Schwab).
authorLars Ingebrigtsen <larsi@gnus.org>
Fri, 4 Feb 2011 19:07:26 +0000 (11:07 -0800)
committerLars Ingebrigtsen <larsi@gnus.org>
Fri, 4 Feb 2011 19:07:26 +0000 (11:07 -0800)
commit0818e4b2112e08b043f47fd3c5e950a2f12f691a
tree2504e74772dea9af703e7d59d0d9a4f782c7eea1
parent8c7e9aed841e808c8299aac70c08200bc68e587a
* gnus.texi: Add DEVEL header (suggested by Andreas Schwab).
texi/ChangeLog
texi/gnus.texi