Labels Milestones

Back

Reset. More repo cleanup, adopt github .gitignore file More repo cleanup, adopt github .gitignore file Select branches Hide Pull Requests revised README.md.

• 165.75 122.535 (end 166.31 114.04 (end.
• 0.00124902 0.993309 vertex -7.11659 1.0528.
• Safety margin // Width of module (HP) width.
• 0.528237 0.553758 facet normal 0.0973192 0.989361 0.108142 facet.

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