Sat, 19 Sep 2009 12:04:38 +0200 Christian Ebert Merge with stable
Sat, 19 Sep 2009 01:15:38 +0200 Martin Geisler do not attempt to translate ui.debug output stable
Sat, 19 Sep 2009 12:00:41 +0200 Christian Ebert (stable) merge with default stable
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip