chore: remove defunct projects (afaik)#2470

nikomatsakis wants to merge 1 commit into

rust-lang:mainrust-lang/team:mainfrom

nikomatsakis:cleanup-old-projectsnikomatsakis/team:cleanup-old-projectsCopy head branch name to clipboard