diff options
-rwxr-xr-x | devtools/credits.pl | 5 | ||||
-rw-r--r-- | gui/credits.h | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index b0f40cbe6e..bf48304af3 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -523,6 +523,11 @@ begin_credits("Credits"); add_person("Paweł Kołodziejski", "aquadran", ""); end_section(); + begin_section("DreamWeb"); + add_person("Vladimir Menshakov", "whoozle", ""); + add_person("Torbjörn Andersson", "eriktorbjorn", ""); + end_section(); + begin_section("Gob"); add_person("Torbjörn Andersson", "eriktorbjorn", ""); add_person("Arnaud Boutonné", "Strangerke", ""); diff --git a/gui/credits.h b/gui/credits.h index 1b13b31829..ba679c433c 100644 --- a/gui/credits.h +++ b/gui/credits.h @@ -83,6 +83,10 @@ static const char *credits[] = { "C0""Filippos Karapetis", "C0""Pawel Kolodziejski", "", +"C1""DreamWeb", +"C0""Vladimir Menshakov", +"C0""Torbj\366rn Andersson", +"", "C1""Gob", "C0""Torbj\366rn Andersson", "C0""Arnaud Boutonn\351", |