diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/credits.pl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index dea06e27e7..af8e699413 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -491,6 +491,7 @@ begin_credits("Credits"); add_person("Matthew Hoops", "clone2727", ""); add_person("Filippos Karapetis", "[md5]", ""); add_person("Paweł Kołodziejski", "aquadran", ""); + add_person("Walter van Niftrik", "waltervn", ""); add_person("Kari Salminen", "Buddha^", ""); add_person("Eugene Sandulenko", "sev", ""); end_section(); @@ -575,6 +576,14 @@ begin_credits("Credits"); add_person("Eugene Sandulenko", "sev", ""); end_section(); + begin_section("SCI"); + add_person("Paul Gilbert", "dreammaster", ""); + add_person("Filippos Karapetis", "[md5]", ""); + add_person("Walter van Niftrik", "waltervn", ""); + add_person("Jordi Vilalta Prat", "jvprat", ""); + add_person("Lars Skovlund", "lskovlun", ""); + end_section(); + begin_section("Tinsel"); add_person("Torbjörn Andersson", "eriktorbjorn", ""); add_person("Paul Gilbert", "dreammaster", ""); |