extension_old_file  771 src/filemanager/ext.c     char *extension_old_file;
extension_old_file  773 src/filemanager/ext.c     extension_old_file = mc_config_get_full_path (MC_EXT_OLD_FILE);
extension_old_file  774 src/filemanager/ext.c     if (exist_file (extension_old_file))
extension_old_file  778 src/filemanager/ext.c                  extension_old_file, MC_EXT_FILE);
extension_old_file  779 src/filemanager/ext.c     g_free (extension_old_file);