Labels Milestones

Back

2 commits » 33729ec97f More repo cleanup, adopt github .gitignore file

• For: MC_1,5/12-G-3.5; number of pins.
• 0.109671 0.552039 -0.826575 vertex -0.566007 -2.84551.
• 0.0560523 -0.995037 facet normal 0.361949 -0.422682 0.830862.
• Agreement and does not arrive in.

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