commit | 629da3109fd170897b75c987ac21713dab8e0dee | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@dropbox.com> | Wed Jul 13 20:34:47 2016 -0700 |
committer | Guido van Rossum <guido@dropbox.com> | Wed Jul 13 20:34:47 2016 -0700 |
tree | 6ac5aacbc7d694f5dac9ff9929a2c98bc467e4c2 | |
parent | 28c3d32ced7ebdf52a65f897b8369067351e75be [diff] |
Remove redundant copies of the PEPs here. Please send PRs directly to the GitHub peps repo: https://github.com/python/peps