Fri, 16 Jul 2010 14:48:52 +0200 | Martin Geisler | check-code: catch dict.has_key | changeset | files |
Fri, 16 Jul 2010 14:45:52 +0200 | Martin Geisler | Merge with stable | changeset | files |
Fri, 16 Jul 2010 14:44:30 +0200 | Martin Geisler | mark ui.warn strings for translation | changeset | files |