extension_old_file  770 src/filemanager/ext.c     char *extension_old_file;
extension_old_file  772 src/filemanager/ext.c     extension_old_file = mc_config_get_full_path (MC_EXT_OLD_FILE);
extension_old_file  773 src/filemanager/ext.c     if (exist_file (extension_old_file))
extension_old_file  777 src/filemanager/ext.c                  extension_old_file, PACKAGE_NAME, MC_EXT_FILE);
extension_old_file  778 src/filemanager/ext.c     g_free (extension_old_file);