Revision 42f9d6ac6920dfe56017ff5421201275c6334467

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

Doc correction