rm in the windows part was causing issues with git rm so just doing git rm
rm in the windows part was causing issues with git rm so just doing git rm

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar