Fix last merge - missing changes in src/CMakeLists.txt

Authored by drosca on Jul 14 2018, 9:59 AM.

Description

Fix last merge - missing changes in src/CMakeLists.txt

Details

Committed
droscaJul 14 2018, 10:00 AM
Parents
R115:d1cdada88baa: Merge branch 'Plasma/5.13'
Branches
Unknown
Tags
Unknown