done_hotlist     1460 src/filemanager/hotlist.c             done_hotlist ();
done_hotlist       30 src/filemanager/hotlist.h void done_hotlist (void);
done_hotlist     1055 src/setup.c        done_hotlist ();