From mboxrd@z Thu Jan 1 00:00:00 1970
From: Arnout Vandecappelle
> - git pull > - > +> -- Arnout Vandecappelle arnout at mind be Senior Embedded Software Architect +32-16-286500 Essensium/Mind http://www.mind.be G.Geenslaan 9, 3001 Leuven, Belgium BE 872 984 063 RPR Leuven LinkedIn profile: http://www.linkedin.com/in/arnoutvandecappelle GPG fingerprint: 7493 020B C7E3 8618 8DEC 222C 82EB F404 F9AC 0DDF> +git pull This bit should have been part of the tidy patch - and tidy shouldn't add indentation here... >>Because you've only been granted anonymous access to > the tree, you won't be able to push your changes to the > diff --git a/docs/website/header.html b/docs/website/header.html > index 69f4203..c348ebb 100644 > --- a/docs/website/header.html > +++ b/docs/website/header.html > @@ -36,31 +36,31 @@ >