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