Thu, 02 Dec 2010 09:44:01 +0100 Christian Ebert Merge with default stable
Thu, 02 Dec 2010 09:42:21 +0100 Christian Ebert Copy: when copied source is a symlink, follow it
Thu, 02 Dec 2010 09:41:56 +0100 Christian Ebert Merge with stable
Mon, 22 Nov 2010 18:15:58 +0100 Martin Geisler code style: prefer 'is' and 'is not' tests with singletons stable
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip