Revision 1d0537e453928cb3789e637c1985e29a39be39e5

Committed on 26/04/2012 3:38 am by Simon Boyer <[email protected]> [GitHub Diff]

Doc correction