[Python-Dev] dict() enhancement idea? (original) (raw)
Just van Rossum just@letterror.com
Thu, 21 Nov 2002 14:08:14 +0100
- Previous message: [Python-Dev] dict() enhancement idea?
- Next message: [Python-Dev] --disable-unicode, again
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
--16563256-0-3246876498=:9003 Content-Type: text/plain; Charset=US-ASCII Content-Transfer-Encoding: 7bit
Just van Rossum wrote:
I could try to make a patch if people think this is a good idea.
Hm, that took a full 15 minutes ;-) See attached. Patching the docs is probably more work, as usual... Of course, I'll upload it to sf, but I'd like to get some feedback here, first.
Just --16563256-0-3246876498=:9003 Content-Type: application/octet-stream; Name="dictobject.patch"; X-Mac-Type="54455854"; X-Mac-Creator="522A6368" Content-Transfer-Encoding: base64 Content-Disposition: attachment; Filename="dictobject.patch"
--16563256-0-3246876498=:9003--
- Previous message: [Python-Dev] dict() enhancement idea?
- Next message: [Python-Dev] --disable-unicode, again
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]