eudc-server-menu

eudc-server-menu is a variable defined in `eudc.el'.
Its value is

(["---" nil nil]
 ["Bookmark Current Server" eudc-bookmark-current-server :help "Add current server to the EUDC `servers' hotlist"]
 ["Edit Server List" eudc-edit-hotlist :help "Edit the hotlist of directory servers in a specialized buffer"]
 ["New Server" eudc-set-server :help "Set the directory server to SERVER using PROTOCOL"])

• This variable may be risky if used as a file-local variable.

Documentation:
Not documented as a variable.