added options for vertical text spacing (used on info screens for now)

[rocksndiamonds.git] / docs / elements / df_mine.txt

Mines will destroy the laser if it points to them for too long.