Revision 42dca5187ecc8d71515139f690672c57038d2dcc

Committed on 17/01/2017 1:57 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

update doc