Salvador E. Tropea 9f037e569f Added global option `drill_size_increment` ... - Now we can round the drill sizes - Added a context for drill tools (adjusted and rounded) - Added a context for oval holes Related to #164		2022-04-21 10:30:24 -03:00
..
report_full.txt	Added global option `drill_size_increment`	2022-04-21 10:30:24 -03:00
report_simple.txt	Changes in how we compute the drill sizes in the report	2022-04-20 12:57:52 -03:00