Mon, 01 Jun 2009 01:51:50 +0200 Christian Ebert Merge with stable
Sun, 31 May 2009 14:55:51 +0200 Martin Geisler fixed typos found in translatable strings stable
Wed, 27 May 2009 20:40:11 +0200 Christian Ebert (stable) merge with default stable
Wed, 27 May 2009 20:34:38 +0200 Christian Ebert keyword: rename matcher() to match() mimicking changes in main
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip