]> granicus.if.org Git - python/commitdiff
Merge docs for typing.py from 3.5 into default branch.
authorGuido van Rossum <guido@python.org>
Wed, 5 Aug 2015 10:24:21 +0000 (12:24 +0200)
committerGuido van Rossum <guido@python.org>
Wed, 5 Aug 2015 10:24:21 +0000 (12:24 +0200)

Trivial merge