Completed
Push — master ( d0c885...4d1d46 )
by Carlos
03:48 queued 01:31
created

Changes

Good job, 7 issues were fixed.
1 new patch (Spacing) is available.
9.09
▶   ± 0
Head
overtrue  
Merge branch 'master' of github.com:overtrue/phplint
3 more commits
Base
安正超  
Merge pull request #5 from rforks/master