Searched refs:extGenesis (Results 1 – 1 of 1) sorted by relevance
7268 const char extGenesis[] = ".gen"; in DMPlexCreateFromFile() local7315 CheckExtension(extGenesis, isGenesis); in DMPlexCreateFromFile()