cmake: use option() in CMakeConfig.txt
authorMichael Wallner <mike@php.net>
Thu, 27 Feb 2020 08:12:38 +0000 (09:12 +0100)
committerMichael Wallner <mike@php.net>
Thu, 27 Feb 2020 08:12:38 +0000 (09:12 +0100)

No differences found