done_hotlist     1457 src/filemanager/hotlist.c             done_hotlist ();
done_hotlist       30 src/filemanager/hotlist.h void done_hotlist (void);
done_hotlist     1057 src/setup.c        done_hotlist ();