Ignore the docs/plugins dir which hosts copied plugin docs at build time

pull/1018/head
Jesse Vincent 4 years ago
parent 589c2dd799
commit ccaabbc0d4
No known key found for this signature in database
GPG Key ID: 122F5DF7108E4046

1
.gitignore vendored

@ -5,6 +5,7 @@
/output/ /output/
/examples/*/output/ /examples/*/output/
/out/ /out/
/docs/plugins
/docs/generated /docs/generated
/docs/doxyoutput /docs/doxyoutput
/docs/api /docs/api

Loading…
Cancel
Save