Closed pfrischmuth closed 8 years ago
This branch contains a) some fixes such that no tests are failing anymore and b) changes such that the owdev jenkins builds are running again.
I tested the owdev build by temporary changing the branch... It seems to work again.
This branch contains a) some fixes such that no tests are failing anymore and b) changes such that the owdev jenkins builds are running again.
I tested the owdev build by temporary changing the branch... It seems to work again.