easybuild-easyconfigs-v1.15.2.0

kenneth.hoste@ugent.be

7328594f · Merge branch 'v1.15.x' · Oct 07, 2014

version 1.15.2.0 of easybuild-easyconfigs: bug fixes over v1.15.1.0