Revision ac3c1b5cc9cadc5aa77d8837345c5d7300c5687c

Committed on 06/06/2018 12:37 pm by Emmanuel DROUET <emmanuel.drouet@gmail.com> [GitHub Diff]

fix doc