diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/credits.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index 39c7ccb275..3186347c68 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -442,6 +442,7 @@ sub add_paragraph { print "\\\n"; print $text . "\\\n"; } elsif ($mode eq "CPP") { + $text = html_entities_to_ascii($text); my $line_start = '"C0""'; my $line_end = '",'; print $line_start . $text . $line_end . "\n"; |