Update build.xml-dist
Merge pull request #75 from Kunstmaan/faster_lint

PHP lint parallel check