Revision a2a81017a2c7616c06fa6e2d9fd99d3d936fba85

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

Doc correction