Labels Milestones
Back[PATCH] Undo converting GND to GND_JMP and fix everything that broke From 969311f00cbb6d6ece9a25b5fb1d4e2884e468c0 Mon Sep 17 00:00:00 2001 Subject: [PATCH] Button color.
- -0.0865638 -0.994992 facet normal 4.084288e-01 9.127902e-01.
- 0.111545 0.923222 vertex 8.58402 -2.55704 3.82299.
- (end -2.286 -1.016 (offset 0.254) hide (end 0.