added reading credits info (global or level set specific) from files

[rocksndiamonds.git] / docs / credits / credits_5.txt

diff --git a/docs/credits/credits_5.txt b/docs/credits/credits_5.txt
new file mode 100644 (file)
index 0000000..3bc69b9
--- /dev/null
+++ b/docs/credits/credits_5.txt
@@ -0,0 +1,15 @@
+# .font: font.text_2
+Special thanks to
+
+# .font: font.text_3
+Alan Bond
+
+# .font: font.text_2
+and
+
+# .font: font.text_3
+Jürgen Bonhagen
+
+# .font: font.text_2
+for the continuous creation
+of outstanding level sets