aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/credits.pl11
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();