Forked from
gmsh / gmsh
Source project has a limited visibility.
-
Christophe Geuzaine authored
nicer: use kill() instead of a system() call
Christophe Geuzaine authorednicer: use kill() instead of a system() call
nicer: use kill() instead of a system() call