diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/credits.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 03e086ce99..53f0d11307 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -553,7 +553,7 @@ begin_credits("Credits"); add_person("Ludvig Strigeus", "ludde", "(retired)"); end_section(); - begin_section("AVALANCHE"); + begin_section("Avalanche"); add_person("Peter Bozsó", "uruk", ""); add_person("Arnaud Boutonné", "Strangerke", ""); end_section(); |