Searched refs:extGmsh4 (Results 1 – 1 of 1) sorted by relevance
7264 const char extGmsh4[] = ".msh4"; in DMPlexCreateFromFile() local7311 CheckExtension(extGmsh4, isGmsh4); in DMPlexCreateFromFile()