Reformatting
Reformatting

FStarLang/linguist,whitj00/linguist,adamkaplan/linguist,ppaulweber/github-linguist,MadcapJake/linguist,davidzchen/linguist,martynbm/linguist,pchaigno/linguist,Mx7f/linguist,steventhanna/linguist,chiranjeevjain/linguist,ammaraskar/linguist,sebgod/linguist,yyx990803/linguist,hcutler/linguist,a0viedo/linguist,yyx990803/linguist,ya7lelkom/linguist,BerkeleyTrue/linguist,bluebear94/linguist,mattn/linguist,ammaraskar/linguist,anhongyue/test222,georgesuperman/linguist,seanders/linguist,hcatlin/linguist,pchaigno/linguist,mcandre/linguist,FStarLang/linguist,cybernet14/linguist,jtbandes/linguist,github/linguist,alitalia/linguist,erkyrath/linguist,sagar290/linguist,JJ/linguist,MahmoudFayed/linguist,sebgod/linguist,erkyrath/linguist,jrnold/linguist,cokeboL/linguist,PsichiX/linguist,osorgin/linguist,hcutler/linguist,iblech/linguist,ya7lelkom/linguist,ppaulweber/github-linguist,ilyes14/linguist,matt40k/linguist,douglas-larocca/linguist,mcandre/linguist,JJ/linguist,jrnold/linguist,jtbandes/linguist,erkyrath/linguist,manveru/linguist,stanhu/linguist,assimovt/ling-ist,meunierfrederic/octocatlinguist,christop/linguist,yyx990803/linguist,erkyrath/linguist,meunierfrederic/octocatlinguist,c-lipka/linguist,mwpastore/linguist,tschf/linguist,R4PaSs/linguist,mwpastore/linguist,osorgin/linguist,martynbm/linguist,stanhu/linguist,CoderXpert/linguist,kr/linguist,cybernet14/linguist,BerkeleyTrue/linguist,R4PaSs/linguist,nburkley/linguist,MostAwesomeDude/linguist,phpsgi/linguist,mattn/linguist,github/linguist,MadcapJake/linguist,yscho/linguist,jjatria/linguist,pcantrell/linguist,christop/linguist,bluebear94/linguist,pcantrell/linguist,scttnlsn/linguist,pchaigno/linguist,stanhu/linguist,thejameskyle/linguist,manveru/linguist,sebgod/linguist,jjatria/linguist,hcatlin/linguist,pchaigno/linguist,whitj00/linguist,seanders/linguist,MostAwesomeDude/linguist,douglas-larocca/linguist,JJ/linguist,yscho/linguist,kyoungrok0517/linguist,kr/linguist,kyoungrok0517/linguist,iblech/linguist,meunierfrederic/octocatlinguist,thejameskyle/linguist,alitalia/linguist,sagar290/linguist,tschf/linguist,chiranjeevjain/linguist,phpsgi/linguist,georgesuperman/linguist,anhongyue/test222,a0viedo/linguist,sebgod/linguist,github/linguist,assimovt/ling-ist,davidzchen/linguist,adamkaplan/linguist,steventhanna/linguist,scttnlsn/linguist,cokeboL/linguist,PsichiX/linguist,Mx7f/linguist,CoderXpert/linguist,SRI-CSL/linguist,JJ/linguist,ilyes14/linguist,CegepVictoriaville/linguist,yyx990803/linguist,c-lipka/linguist,matt40k/linguist,SRI-CSL/linguist,CegepVictoriaville/linguist,stanhu/linguist,MahmoudFayed/linguist,github/linguist,nburkley/linguist