devtools/devctl.py
Thu, 14 Feb 2013 16:01:24 +0100 Nicolas Chauvat [toward py3k] rewrite dict.keys() and dict.values() (part of #2711624)
less more (0) -100 -30 -10 -1 tip