From db35174cc4e139da7c54e2c17827f1385bc75a0e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sat, 14 Jan 2006 11:06:22 +0000 Subject: Patch #1403763 (tiny fix for LaTeX documentation generation, concerning line wrap in the credits) svn-id: r20021 --- tools/credits.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/credits.pl b/tools/credits.pl index 5dc8a60611..a734ddbc5b 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -303,7 +303,7 @@ sub begin_persons { if ($mode eq "HTML") { print "