| Tue, 12 Mar 2013 12:50:05 +0100 | Nicolas Chauvat | drop typed_eid() in favour of int() (closes #2742462) | file | diff | annotate |
| Thu, 14 Feb 2013 16:01:24 +0100 | Nicolas Chauvat | [toward py3k] rewrite dict.keys() and dict.values() (part of #2711624) | file | diff | annotate |
| Mon, 21 Jan 2013 16:34:09 +0100 | Florent Cayré | make ui configurations selectable (closes #2406609) | file | diff | annotate |