Completed
Push — master ( f288bf...5c22ae )
by Carlos
01:34
created

No notable changes

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

9.46
▶   ± 0
Head
overtrue  
Remove HHVM.
Base
overtrue  
Merge branch 'master' of github.com:overtrue/phplint