Skip to content
GitLab

Remove extraneous PUBLIC_HEADERS uncovered by gaudi/Gaudi!614

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

2018-patches version of !933 (merged)

Edited by Marco Cattaneo