diff options
Diffstat (limited to 'devtools')
| -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 af4049e5a6..d16595add8 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -525,6 +525,10 @@ begin_credits("Credits"); add_person("Gregory Montoir", "cyx", "(retired)"); add_person("Eugene Sandulenko", "sev", ""); end_section(); + + begin_section("ADL"); + add_person("Walter van Niftrik", "waltervn", ""); + end_section(); begin_section("AGI"); add_person("Stuart George", "darkfiber", ""); |