maps/tradeship/../../mods/content/standard_merchants/merchants/mining.dm 
| /datum/merchant/mining | An AI-managed smelting platform which buys ores and sells some material sheets and mining supplies. Like other AI-themed merchants, they have a higher than average skill level, yet they do not change their prices based on disposition, and can't really get annoyed. |
|---|