extension_old_file  790 src/filemanager/ext.c     char *extension_old_file;
extension_old_file  792 src/filemanager/ext.c     extension_old_file = mc_config_get_full_path (MC_EXT_OLD_FILE);
extension_old_file  793 src/filemanager/ext.c     if (exist_file (extension_old_file))
extension_old_file  797 src/filemanager/ext.c                  extension_old_file, MC_EXT_FILE);
extension_old_file  798 src/filemanager/ext.c     g_free (extension_old_file);