Summary
- gitignore: add files generated with jenkins.sh (details)
- contrib/jenkins: add SKIP_CLEAN_WORKSPACE (details)
The file was modified | .gitignore |
The file was modified | contrib/jenkins.sh |
The file was modified | .gitignore |
The file was modified | contrib/jenkins.sh |