Skip to content
GitLab
Explore
Sign in
Register
gmsh
gmsh
Merge requests
!169
Add ENABLE_PROFILE build option for profiling with perf
Code
Review changes
Check out branch
Download
Patches
Plain diff
Darcy Beurle
requested to merge
profile-build
into
master
Jul 07, 2018
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Closes
#416 (closed)
.
Merge request reports