phpDoc: Ignore .github dir

pico-3.0
Daniel Rudolf 3 years ago
parent 93dbbe750d
commit 4bf3260766
No known key found for this signature in database
GPG Key ID: A061F02CD8DE4538
  1. 1
      .phpdoc.xml

@ -16,6 +16,7 @@
</source> </source>
<ignore hidden="true" symlinks="true"> <ignore hidden="true" symlinks="true">
<path>.build/**/*</path> <path>.build/**/*</path>
<path>.github/**/*</path>
<path>vendor/**/*</path> <path>vendor/**/*</path>
</ignore> </ignore>
<extensions> <extensions>

Loading…
Cancel
Save