Labels Milestones

Back

More fixes a5c5ff12ce18fecaaf346f973863d12bf361ac82 From 4d8e233e93a0e0142056dfcbd680a65973bd0ebb Mon Sep 17 00:00:00 2001 eb8580ef62 Undo converting GND to.

• -1.035504e+02 1.026046e+02 2.550000e+00 facet.
• -5.09136 6.87866 vertex -7.34599 0.0206242 6.86125 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