Merge branch 'maint'

This commit is contained in:
Michael Brand 2014-02-11 21:02:35 +01:00
commit 076b8e1dbf

View file

@ -5525,7 +5525,7 @@ extremely well or extremely poorly. In contrast, @code{est+} estimates the
full job more realistically, at 10--15 days.
Numbers are right-aligned when a format specifier with an explicit width like
@{%5d} or @code{%5.1f} is used.
@code{%5d} or @code{%5.1f} is used.
Here is an example for a complete columns definition, along with allowed
values.