Skip to content

Merge branch 'cleanTupleToolTISTOS' into '2016-patches'

Eduardo Rodrigues requested to merge cherry-pick-0cf4901d-2 into 2016-patches

Remove overwriting of properties, requires to configure the tools separately

See merge request !158 (merged)

Merge request reports

Loading