Labels Milestones

Back

154 115.75 (end 152.5 119.29 (end 151.4025 113.1525 (end 154 115.75 (end 152.5 119.29 (end 151.4025 113.1525 (end 154 115.75 (end 152.5 119.29 (end 151.4025 113.1525 (end 154 117.79 (end 165.75 122.535 (end 166.31 121.975 (end 168.85 121.975 (end 170.12 123.37 (end 171.75 127.0525 (end 170.12 117.025 (end 172.6975 114 (end 174.5025 119.25 (end 174.5025 112.195 (end 172.6975 116.9875 (end 170.12 120.37 (end 165.75 123.4475 (end 176.5025 128.75 (end 166.4475 128.75 (end 166.4475 128.75 (end 165.75 119.5 (end 171.75 125 (end 170.0975 133.25 (end.

• 2.07867 6.5 facet normal.
• 20240124 Final tweaks, version submitted.

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