repair_intersectio…a1b403e040d0320ab530978…

Apr 13 2018

tests now junit-capable
7a3cbbcde0d5
·junge on Apr 13 2018, 14:21.
initial dockerfile
b30cacf33323
·branch: feat/T1927_CI
·junge on Apr 13 2018, 10:55.