]> granicus.if.org Git - python/commitdiff
#8040: merge with 3.2.
authorEzio Melotti <ezio.melotti@gmail.com>
Sat, 27 Oct 2012 19:29:50 +0000 (22:29 +0300)
committerEzio Melotti <ezio.melotti@gmail.com>
Sat, 27 Oct 2012 19:29:50 +0000 (22:29 +0300)
1  2 
Doc/Makefile

diff --cc Doc/Makefile
Simple merge