bug-fix-in…843de98e3fb7ea0dfd8164e…

Mar 27 2018

More tweaking on the Jenkins file
843de98e3fb7
·richart on Mar 27 2018, 18:19.
Adding docker file
8f35967432b4
·richart on Mar 27 2018, 18:15.
typo in Jenkinsfile
6d8484ee0a8e
·richart on Mar 27 2018, 18:02.