log

age author description
Wed, 23 Dec 2009 18:40:57 +0100 Martin Geisler Merge with stable
Wed, 23 Dec 2009 18:40:21 +0100 Christian Ebert extensions help: make disabling example analogous to enabling example stable