diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/credits.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index 09ddfbe3ea..5497c15354 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -642,7 +642,7 @@ begin_credits("Credits"); # HACK! - $max_name_width = 15; + $max_name_width = 16; begin_section("Special thanks to"); begin_persons(); |