Revision 71824916a3bd0bb5ed2f94fd80ec81947262322f

Committed on 19/12/2016 3:57 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

fix doc