Revision 3896e123a105ba4a48518cb87a23746ff9989d75

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

Doc correction