diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/credits.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index b1c255d7d8..d1f3af5b3a 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -602,6 +602,13 @@ begin_credits("Credits"); add_person("Benjamin Haisch", "john_doe", ""); add_person("Filippos Karapetis", "[md5]", ""); end_section(); + + begin_section("Mohawk"); + add_person("Matthew Hoops", "clone2727", ""); + add_person("Filippos Karapetis", "[md5]", ""); + add_person("Eugene Sandulenko", "sev", ""); + add_person("David Turner", "digitall", ""); + end_section(); begin_section("Parallaction"); add_person("", "peres", ""); |