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