]> granicus.if.org Git - python/commitdiff
#11985: merge with 3.1.
authorEzio Melotti <ezio.melotti@gmail.com>
Tue, 3 May 2011 17:43:48 +0000 (20:43 +0300)
committerEzio Melotti <ezio.melotti@gmail.com>
Tue, 3 May 2011 17:43:48 +0000 (20:43 +0300)
1  2 
Doc/library/platform.rst

Simple merge