fgeorgatos/easybuild-easyconfigs — pull request #15 by boegel (2013-05-22 12:20:57+00:00)
Title: merge in develop and fix conflicts blocking PR #240

required for https://github.com/hpcugent/easybuild-easyconfigs/pull/240