hpcugent/easybuild-framework — pull request #1093 by boegel (2014-11-10 22:49:50+00:00)
Title: reinstate -r as short option for --robot

bug fix that crept in with #1080