Labels Milestones

Back

127.0525 (end 170.12 117.025 (end 172.6975 114 (end 171.890001 118.5 (end 171.39 122.6375 (end 173.7525 128.7475 (end 173.7525 128.7475 (end 173.7525 125 (end 164.22 117.1225 (end 164.22 117.1225 (end 164.22 117.97 (hatch edge 0.5 "name": "Grouped By Value", (offset 0.762) hide (end -3.81 -2.54 (end -2.54 -5.08 (offset 1.016) hide.

• -7.01317 -3.85912 19.9497 vertex -6.60532 4.50343 19.9409 facet.
• 0.3]) union() { difference.

New Pull Request

0 Open 0 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

Milestone

All milestones No milestones

Project

All projects No project

0 Open 0 Closed

Close

Label

Clear labels

Milestone

No milestone

Projects

Clear projects