commit | 0db1c42c6556620301a79970a869519e8669dae5 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@dropbox.com> | Wed Sep 09 12:01:36 2015 -0700 |
committer | Guido van Rossum <guido@dropbox.com> | Wed Sep 09 12:01:36 2015 -0700 |
tree | 763471033df76ac6d17b2186ac7048319870a562 | |
parent | 2e7da04b92859a55922045da5d6b6d9468b92ef5 [diff] |
Update typing docs based on a patch by Daniel Andrade Groppe.