thephpleague / geotools

Completed

by Tobias

created 2018-02-10 12:54 UTC

filter:
  paths: [src/*]
tools:
  php_analyzer: true
  php_mess_detector: true
  php_pdepend: true
  external_code_coverage:
    timeout: '600'