renamed panel option "game.panel.gems_total" to "game.panel.gems_needed"
[rocksndiamonds.git] / docs / program /
2022-12-14 Holger Schemelsmall formatting change in program info
2022-04-29 Holger Schemelrenamed program info directory