Revision 86cbc627b402b32aff0df00aba90d96b30e696c0

Committed on 01/07/2018 4:51 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

fix doc