Searched refs:extGmsh (Results 1 – 1 of 1) sorted by relevance
7262 const char extGmsh[] = ".msh"; in DMPlexCreateFromFile() local7309 CheckExtension(extGmsh, isGmsh); in DMPlexCreateFromFile()