# HG changeset patch # User reimar # Date 1114604269 0 # Node ID b0076e56ac5f3a536b33d1ecb7073d091d7c292f # Parent db06e2acdf3d705eb04b6671fd4265e87c34af53 Document replacing , by . for -vo ggi: diff -r db06e2acdf3d -r b0076e56ac5f DOCS/man/en/mplayer.1 --- a/DOCS/man/en/mplayer.1 Wed Apr 27 12:15:37 2005 +0000 +++ b/DOCS/man/en/mplayer.1 Wed Apr 27 12:17:49 2005 +0000 @@ -2690,6 +2690,7 @@ .RSs .IPs Explicitly choose the GGI driver to use. +Replace any ',' that would appear in the driver string by a '.'. .RE .PD 1 .