diff options
Diffstat (limited to 'devtools/credits.pl')
| -rwxr-xr-x | devtools/credits.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index e306820f32..cc75f76758 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -844,6 +844,10 @@ begin_credits("Credits"); add_person("Frantisek Dufka", "fanoush", "(retired)"); add_person("Tarek Soliman", "tsoliman", ""); end_section(); + + begin_section("Nintendo 3DS"); + add_person("Thomas Edvalson", "Cruel", ""); + end_section(); begin_section("Nintendo 64"); add_person("Fabio Battaglia", "Hkz", ""); |