3 commits

Author	SHA1	Message	Date
Vordenburg	cc8b642444	Add linter-friendly WeightedRandom prototypes (#18729)	2023-08-06 12:31:25 +10:00
metalgearsloth	bfbb1a689f	1 do_after for ore veins (#14083) ... * Ore veins I dislike rocks just providing generic drops and this factors into mining more. * fixes * descriptions * comment * every flipping time * Make mining destroy rocks with 1 hit Having to click 3 times was pretty annoying. * a	2023-02-13 15:32:09 +00:00
Nemanja	7cc1eba181	Mining Tweaks (#11468)	2022-10-21 00:16:29 +11:00