diff options
-rwxr-xr-x | tools/credits.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index d74d98e793..fe7e21b8ed 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -654,6 +654,10 @@ begin_credits("Credits"); add_person("Joost Peters", "joostp", ""); end_section(); + begin_section("Toon"); + add_person("Sylvain Dupont", "SylvainTV", ""); + end_section(); + begin_section("Touché"); add_person("Gregory Montoir", "cyx", ""); end_section(); |