This category is within the scope of WikiProject Mining, a collaborative project to organize and improve articles related to mining and mineral industries. If you would like to participate, you can edit the attached category, or visit the project page, where you can see a list of open tasks, join in the discussion, or join the project.MiningWikipedia:WikiProject MiningTemplate:WikiProject MiningMining articles
This category should not be speedy deleted as being unpopulated, because I have been populating it; I am trying to weed out all the articles that have been added to the parent category:mining, and this is the right category for some of the terms. — Gorthian (talk) 22:36, 31 January 2016 (UTC)[reply]
