Skip to content

move gitignores that pertain only to documentation into doc/.gitignore

username-removed-71312 requested to merge gitignore-doc into master

so they don't affect the main source tree

Merge request reports