异星工厂

增加了一个选项/设置来禁用专门的矿工（并允许其他mod的矿工再次被放置/工作或根本不想允许专门的矿工）

注意！！ 此mod与其他相同类型的mod有冲突，请单独使用！