added optional button to restart game (door, panel and touch variants)
[rocksndiamonds.git] / docs / credits / credits_5.txt
1 # .font: font.text_2
2 Special thanks to
3
4 # .font: font.text_3
5 Alan Bond
6
7 # .font: font.text_2
8 and
9
10 # .font: font.text_3
11 Jürgen Bonhagen
12
13 # .font: font.text_2
14 for the continuous creation
15 of outstanding level sets