Skip to content

Cut faces: the cut green for uncoloured tools, and keepMinuendColor - #173

Merged
revarbat merged 1 commit into
mainfrom
feat/cut-face-colors
Sep 11, 2026
Merged

revarbat merged 1 commit into
mainfrom
feat/cut-face-colors

Commits

Commits on Sep 11, 2026