| commit | 90de1f68d5f1bfcb593ce33bcff6bdaf251e9c47 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@dropbox.com> | Wed May 20 13:41:47 2015 -0700 |
| committer | Guido van Rossum <guido@dropbox.com> | Wed May 20 13:48:22 2015 -0700 |
| tree | f30f533c4fc6bc3f5645265d7412bbde6010103d | |
| parent | 6780862c07d1e2092a88ecff09448b75fcaf3fa9 [diff] |
Change the last use of 'interface file' to 'stub file'. (Florian Bruhin, fixes #118.)