]> granicus.if.org Git - python/commit
Merge typing doc updates from larry's branch.
authorGuido van Rossum <guido@python.org>
Thu, 10 Sep 2015 02:34:36 +0000 (19:34 -0700)
committerGuido van Rossum <guido@python.org>
Thu, 10 Sep 2015 02:34:36 +0000 (19:34 -0700)
commit3013acc9e9aec797e95709dc7cc6df72c840f39f
tree6c402930688659d88c5bd455e7df56959e922259
parentae69de658e7ca60c903b9e687ce3923617e058af
parent0db1c42c6556620301a79970a869519e8669dae5
Merge typing doc updates from larry's branch.