moved requesting game restart to function that checks for game over

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

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