Revision 6c8fd9368f0d747a488383d3df166df7bf84d631

Committed on 07/05/2013 1:40 am by Raymond Julin <[email protected]> [GitHub Diff]

Clean the docs/ folder before building anew