extension_old_file  783 src/filemanager/ext.c     char *extension_old_file;
extension_old_file  785 src/filemanager/ext.c     extension_old_file = mc_config_get_full_path (MC_EXT_OLD_FILE);
extension_old_file  786 src/filemanager/ext.c     if (exist_file (extension_old_file))
extension_old_file  790 src/filemanager/ext.c                  extension_old_file, PACKAGE_NAME, MC_EXT_FILE);
extension_old_file  791 src/filemanager/ext.c     g_free (extension_old_file);