Remove the progrevisions from devel/[arduino, qtcreator].