make Face members const, and some more improvements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
make Face members const, and some more improvements
Joachim Wuttke
requested to merge
jw3
into
main
Nov 29, 2022
Overview
0
Commits
5
Pipelines
1
Changes
3
Merge request reports
Loading