bdx_rock.txt

   1 This is a rock (also called stone or boulder). It can be pushed by the
   2 player, and can be dropped on enemies to make them explode.
   3 This rock can be jump-pushed by snapping it.