Revision 4f3bc25a4446df8a6e9857ccfa2f08f2bafc459c

Committed on 09/03/2017 3:54 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

update documentation