Revision c1ecc890f3f95b827f7dcb738fb1870dc7092d16

Committed on 24/08/2015 7:15 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Removed old useless folder