Revision fc76aa815f41b091c6047a57c5900c549d5d0d59

Committed on 15/03/2015 4:59 pm by Morel Sébastien <[email protected]> [GitHub Diff]

little fix for the documentation