Skip to content
GitLab
Explore
Sign in
Register
gmsh
gmsh
Issues
#40
Script Merge command
The Merge command cannot be scripted from the GUI -- fix that!