#1960 make configurable

This commit is contained in:
Thomas Krijnen
2022-01-09 15:15:29 +01:00
parent 2683bcba20
commit 6246dda8d6
6 changed files with 26 additions and 7 deletions
+1
View File
@@ -274,6 +274,7 @@ private:
double no_wire_intersection_tolerance;
double precision_factor;
double boolean_debug_setting;
double boolean_attempt_2d;
size_t operation_counter_ = 0;