]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d70fe63 eb184e0)
Merge docs for typing.py from accidental branch.
authorGuido van Rossum <guido@python.org>
Wed, 5 Aug 2015 10:21:40 +0000 (12:21 +0200)
committerGuido van Rossum <guido@python.org>
Wed, 5 Aug 2015 10:21:40 +0000 (12:21 +0200)

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