Completed
Push — master ( 4d1d46...c529f4 )
by Carlos
03:07 queued 51s
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.09
▶   ± 0
Head
overtrue  
Using config file.
Base
overtrue  
Merge branch 'master' of github.com:overtrue/phplint