[Python-Dev] Patch review: [ 1009811 ] Add missing types to__builtin__

"Martin v. Löwis" martin at v.loewis.de
Sat Jan 29 00:12:23 CET 2005


Jeff Rush wrote:
> If they are put into __builtins__, the documentation won't need
> updating. ;-)

In that case, I'd rather prefer to correct the documentation.

Regards,
Martin


More information about the Python-Dev mailing list