Revision 89586510e8e2194e8b4d26a62840c119d8c910cd

Committed on 31/08/2017 2:41 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Improved documentation