mine props

mine props

[′mīn ‚präps]
(mining engineering)
Sections of wood used for holding up pieces of rock in the roof of mines.