Revision b0b80550f437bc25b8f7dfd286ea0632982789a6

Committed on 13/02/2018 12:16 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

fix doc