Allows each player on a map to decide whether they want components returned by mining (requires components overhaul / mining results to be enabled).
Providing the player with new tools or adjusting the game interface, without fundamentally changing gameplay.
Version: 1.1.4 Date: 2021.01.15 Changes: - Fix error when mining Factorissimo2 buildings Version: 1.1.3 Date: 2021.01.10 Changes: - Fix error when mining ghosts