clean_up_hotlist_groups 1445 src/filemanager/hotlist.c clean_up_hotlist_groups (*profile_keys); clean_up_hotlist_groups 1514 src/filemanager/hotlist.c clean_up_hotlist_groups ("Hotlist");