Adrian Schlatter 75814d2013 Prevent duplicates
Prevent duplicate lines in THREAD_TABLE.scad when long and short descriptors
are identical => if condition in metric_thread.awk
2022-01-05 18:33:15 +01:00
..
2019-05-08 22:08:33 +02:00
2019-05-05 22:29:09 +02:00
2022-01-05 18:33:15 +01:00
2019-05-05 22:29:09 +02:00
2019-05-05 22:29:09 +02:00
2020-06-09 18:36:36 +02:00