Revision 904d3c4e0e05df240cf4eea4ace11172464aaed4

Committed on 05/06/2017 1:49 am by Mario Blažek <[email protected]> [GitHub Diff]

Make documentation nicer a bit