thephpleague / geotools

Completed

by Theodore

created 2020-06-20 23:30 UTC

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