diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/credits.pl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index dca380b92b..f176a6d957 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -549,6 +549,17 @@ begin_credits("Credits"); add_person("Paul Gilbert", "dreammaster", ""); end_section(); + begin_section("M4"); + add_person("Torbjörn Andersson", "eriktorbjorn", ""); + add_person("Paul Gilbert", "dreammaster", ""); + add_person("Benjamin Haisch", "johndoe", ""); + add_person("Filippos Karapetis", "[md5]", ""); + end_section(); + + begin_section("MADE"); + add_person("Benjamin Haisch", "johndoe", ""); + end_section(); + begin_section("Parallaction"); add_person("", "peres", ""); end_section(); |