fixed problem with mixed use of game pause and tape pause buttons

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

This is a reference element that matches all (standard or custom) elements.