Skip to content
GitLab
Explore
Sign in
Register
gmsh
gmsh
Issues
#36
robustify classificationEditor
classificationEditor is tricky/too complicated to use: rework the GUI and make it more robust