Labels Milestones

Back

157.3475 126.6975 (end 155.25 123.5 (end 155.96 122.79 (end 155.96 120 (end 154.25 129.25 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 150.75 145.02 (end 156.755141 101.025141 (end 150.75 114 (end 156.82 108.847067 (end 159.1 81.75 (end 167.5.

• -0.0546005 -0.45481 0.888913 vertex 6.9395 -0.0991955 6.93683 facet.
• Large From 56529bef3a0c7d0b31cfccd6b6ce971fb35b4e9c Mon Sep 17 00:00:00.

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