diff options
Diffstat (limited to 'devtools')
| -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 7d39730c63..a5341778c5 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -638,6 +638,11 @@ begin_credits("Credits"); add_person("David Turner", "digitall", ""); end_section(); + begin_section("Neverhood"); + add_person("Benjamin Haisch", "john_doe", ""); + add_person("Filippos Karapetis", "[md5]", ""); + end_section(); + begin_section("Parallaction"); add_person("", "peres", ""); end_section(); |