]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 988433f 3013acc)
Merge typing docs from 3.5 branch.
authorGuido van Rossum <guido@dropbox.com>
Thu, 10 Sep 2015 02:36:31 +0000 (19:36 -0700)
committerGuido van Rossum <guido@dropbox.com>
Thu, 10 Sep 2015 02:36:31 +0000 (19:36 -0700)

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.