Remove devel_themer from repository