(Terminology): Mention naming.
authorLars Magne Ingebrigtsen <larsi@stories.gnus.org>
Sun, 11 Sep 2011 20:55:46 +0000 (22:55 +0200)
committerLars Magne Ingebrigtsen <larsi@stories.gnus.org>
Sun, 11 Sep 2011 20:55:46 +0000 (22:55 +0200)
commit761dcbd75addb3f0af80233ea718e2d587f4e617
tree8ba1a983931aad5bc2adaa4c027e4423da323233
parent9aad7030f2d1889f919a648bbcdf3242f6370158
(Terminology): Mention naming.
texi/ChangeLog
texi/gnus.texi