Skip to content
GitLab
Explore
Sign in
Register
gmsh
gmsh
Repository
gmsh
api
gmsh.py
Find file
Blame
History
Permalink
- renamed logger/time to logger/getWallTime and logger/cputime to logger/getCpuTime for consistency
· 83b9524b
Christophe Geuzaine
authored
Dec 02, 2019
- new fltk/isAvailable to detect if GUI has been closed
83b9524b