On Fri, Jan 10, 2014 at 10:23:12PM +0100, Wieland Hoffmann wrote: > --- > man/weston.ini.man | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-)
Thanks, applied. Kristian > diff --git a/man/weston.ini.man b/man/weston.ini.man > index 6be90bf..ce3f928 100644 > --- a/man/weston.ini.man > +++ b/man/weston.ini.man > @@ -388,7 +388,7 @@ Contains settings for the weston terminal application > (weston-terminal). It > allows to customize the font and shell of the command line interface. > .TP 7 > .BI "font=" "DejaVu Sans Mono" > -sets the font of the terminal (string). For a good experience it is recommend > +sets the font of the terminal (string). For a good experience it is > recommended > to use monospace fonts. In case the font is not found, the default one is > used. > .RE > .RE > -- > 1.8.5.2 > > _______________________________________________ > wayland-devel mailing list > [email protected] > http://lists.freedesktop.org/mailman/listinfo/wayland-devel _______________________________________________ wayland-devel mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/wayland-devel
