Revision 89586510e8e2194e8b4d26a62840c119d8c910cd

Committed on 31/08/2017 2:41 am by Jérôme Vieilledent <lolautruche@gmail.com> [GitHub Diff]

Improved documentation