diff options
Diffstat (limited to 'devtools/credits.pl')
| -rwxr-xr-x | devtools/credits.pl | 5 |
1 files changed, 5 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", ""); |