disabled ending lost game when asking for game restart is configured
[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