Leo Butler <[email protected]> writes:

> Anyhow, after trying and failing to remove them in the *Server* buffer
> (they were un-editable), I realized that gnus uses the list
> gnus-server-alist for the editable servers. I massaged
> gnus-server-alist, edited the dead servers, and problem was solved.

You should be able to remove them from gnus-server-alist with the `k'
command.  Only servers that Gnus knows about "from other sources"
(usually mentioned in .gnus.el or .newsrc.eld) can't be killed in that
way.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

_______________________________________________
info-gnus-english mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/info-gnus-english

Reply via email to