Skip to content

Remove extraneous PUBLIC_HEADERS uncovered by gaudi/Gaudi!614

Rosen Matev requested to merge fix-public-headers-cmake-2018 into 2018-patches

2018-patches version of !933 (merged)

Edited by Marco Cattaneo

Merge request reports