diff options
Diffstat (limited to 'manual')
| -rwxr-xr-x | manual/libm-err-tab.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/libm-err-tab.pl b/manual/libm-err-tab.pl index 15646693fe..7c213fd2dc 100755 --- a/manual/libm-err-tab.pl +++ b/manual/libm-err-tab.pl @@ -235,6 +235,6 @@ sub by_platforms { $pa = $pplatforms{$a} ? $pplatforms{$a} : $a; $pb = $pplatforms{$b} ? $pplatforms{$b} : $b; - + return $pa cmp $pb; } |