eudc-options-file

eudc-options-file is a variable defined in `eudc-vars.el'.
Its value is
"~/.eudc-options"


Documentation:
A file where the `servers' hotlist is stored.

You can customize this variable.