dev-docs-tmp/.gitignore