added optional button to restart game (door, panel and touch variants)
[rocksndiamonds.git] / docs / info /
2022-04-29 Holger Schemelrenamed program info directory
2022-03-29 Holger Schemeladded reading program info from files