Summary
- contrib/jenkins: use osmo-clean-workspace.sh (details)
The file was modified | contrib/jenkins.sh |
Commit
e3a307745d693237363311b29a0f4948a4ef71d9
by Oliver Smith contrib/jenkins: use osmo-clean-workspace.sh | |
The file was modified | contrib/jenkins.sh |