fixed a lot of bugs when using custom global borders with masked viewports

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

This is a BD style rock. It's not much different from a regular rock,
but it can be jump-pushed by snapping it.