extension_old_file  788 src/filemanager/ext.c     char *extension_old_file;
extension_old_file  790 src/filemanager/ext.c     extension_old_file = mc_config_get_full_path (MC_EXT_OLD_FILE);
extension_old_file  791 src/filemanager/ext.c     if (exist_file (extension_old_file))
extension_old_file  795 src/filemanager/ext.c                  extension_old_file, MC_EXT_FILE);
extension_old_file  796 src/filemanager/ext.c     g_free (extension_old_file);