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 -3 +3 +10 +30 +100 +300 tip