Make the mining_time > 0 hard req obligatory
Please hold this patch until I check if we should go more performant route.
Reply To cazfi
Please hold this patch until I check if we should go more performant route.
The alternative I were thinking about isn't reasonable. I'm not against this patch.
"Build Mine" is only possible against terrains with a mining_time above 0