Searched refs:extHDF5 (Results 1 – 1 of 1) sorted by relevance
7270 const char extHDF5[] = ".h5"; in DMPlexCreateFromFile() local7317 CheckExtension(extHDF5, isHDF5); in DMPlexCreateFromFile()