fixed Jenkinsfile
Description
Description
Details
Details
- Committed
junge Jul 24 2018, 16:21 - Pushed
junge Jul 24 2018, 16:21 - Parents
- rMUSPECTRE5d03b3fd67ba: WIP: unfinished dirty work version only for backup reasons...
- Branches
- Unknown
- Tags
junge | Jul 24 2018, 16:21 |
junge | Jul 24 2018, 16:21 |