saved_other_dir   581 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   593 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   608 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   620 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   311 src/main.c             g_free (saved_other_dir);
saved_other_dir   328 src/main.c                 saved_other_dir = buffer;
saved_other_dir   512 src/main.c         g_free (saved_other_dir);
saved_other_dir   194 src/setup.c    char *saved_other_dir = NULL;
saved_other_dir   124 src/setup.h    extern char *saved_other_dir;