]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ae69de6 0db1c42)
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)

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