added optional button to restart game (door, panel and touch variants)
[rocksndiamonds.git] / docs / credits /
2022-11-13 Holger Schemeladded Thomas Andrae and Majid Katzer to credits
2022-03-29 Holger Schemelchanged some credits files from UTF-8 to ISO 8859-1...
2022-03-28 Holger Schemeladded reading credits info (global or level set specifi...