]> granicus.if.org Git - python/commitdiff
Move a space.
authorEzio Melotti <ezio.melotti@gmail.com>
Sat, 21 Jan 2012 14:40:03 +0000 (16:40 +0200)
committerEzio Melotti <ezio.melotti@gmail.com>
Sat, 21 Jan 2012 14:40:03 +0000 (16:40 +0200)
Doc/library/functions.rst

index 6f3473e6c164244cd47005b871f093aa9d9b0213..5be4edd61c19bbda5a39bbbd12d9c3babd7efc12 100644 (file)
@@ -910,8 +910,8 @@ available.  They are listed here in alphabetical order.
    *end*.
 
    The *file* argument must be an object with a ``write(string)`` method; if it
-   is not present or ``None``, :data:`sys.stdout` will be used.   Output buffering
-   is determined by *file*. Use ``file.flush()`` to ensure, for instance,
+   is not present or ``None``, :data:`sys.stdout` will be used.  Output buffering
+   is determined by *file*.  Use ``file.flush()`` to ensure, for instance,
    immediate appearance on a screen.
 
    .. note::