Deprecated List

Global write_reflist (const char *filename, RefList *list)

Use write_reflist_2() instead.