diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/credits.pl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 53f0d11307..5f2f6c12f9 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -645,6 +645,12 @@ begin_credits("Credits"); add_person("Filippos Karapetis", "[md5]", ""); end_section(); + begin_section("MADS"); + add_person("Arnaud Boutonné", "Strangerke", ""); + add_person("Paul Gilbert", "dreammaster", ""); + add_person("Filippos Karapetis", "[md5]", ""); + end_section(); + begin_section("Mohawk"); add_person("Bastien Bouclet", "bgk", ""); add_person("Matthew Hoops", "clone2727", ""); @@ -767,6 +773,11 @@ begin_credits("Credits"); add_person("Gregory Montoir", "cyx", "(retired)"); end_section(); + begin_section("Voyeur"); + add_person("Arnaud Boutonné", "Strangerke", ""); + add_person("Paul Gilbert", "dreammaster", ""); + end_section(); + begin_section("Wintermute"); add_person("Einar Johan T. Sømåen", "somaen", ""); end_section(); |
