diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/credits.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index ce2ed0da74..0960011802 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -1036,6 +1036,9 @@ begin_credits("Credits"); begin_section("Danish"); add_person("Steffen Nyeland", "", ""); end_section(); + begin_section("Dutch"); + add_person("Ben Castricum", "", ""); + end_section(); begin_section("Finnish"); add_person("Toni Saarela", "catnose", ""); end_section(); |