Labels Milestones

Back

Enable/disable gate per step. (10 Momentary-normal-off pushbutton to manually reset. More repo cleanup, adopt github .gitignore file f45c980890 Align panel to integer pseudo-origin, remove testing text, decrease title label font so.

• Vertex 8.74802 -3.62355 3.54602 vertex -6.89148.
• 19.9467 vertex -7.73568 2.38614 19.9509 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