01 n. A small mine, sometimes formed in the wall or side of an enemy's gallery, to blow in the earth and cut off the retreat of the miners.
-
1.
A small mine, sometimes formed in the wall or side of an enemy's gallery, to blow in the earth and cut off the retreat of the miners.(Mil.)