diff options
| -rwxr-xr-x | devtools/credits.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 075d7b03db..648b0c0a5b 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -695,6 +695,11 @@ begin_credits("Credits"); add_person("Gregory Montoir", "cyx", ""); end_section(); + begin_section("TsAGE"); + add_person("Paul Gilbert", "dreammaster", ""); + add_person("Arnaud Boutonné", "Strangerke", ""); + end_section(); + begin_section("Tucker"); add_person("Gregory Montoir", "cyx", ""); end_section(); |