Merge pull request #2327 from ben-clayton/fix-pch
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Thu, 9 Jul 2020 06:39:31 +0000 (00:39 -0600)
committerGitHub <noreply@github.com>
Thu, 9 Jul 2020 06:39:31 +0000 (00:39 -0600)
Use CMake's builtin functionality for pre-compiled headers


Trivial merge