4 name = "some-electric-mining-drill-size",
5 setting_type = "startup",
11 type = "double-setting",
12 name = "some-electric-mining-drill-speed",
13 setting_type = "startup",
20 name = "some-big-mining-drill-size",
21 setting_type = "startup",
27 type = "double-setting",
28 name = "some-big-mining-drill-speed",
29 setting_type = "startup",