remove after rename for the record; use cmt-dev-all if PPC needed
remove after rename for the record; use cmt-dev-all if PPC needed

bobjacobsen/csc-exercises,bobjacobsen/csc-exercises,bobjacobsen/csc-exercises,bobjacobsen/csc-exercises,bobjacobsen/csc-exercises,bobjacobsen/csc-exercises,bobjacobsen/csc-exercises