Commit 5432e22b25026fb50b00ab5dcf894e18daa8bcb6

Pierre Wendling 2023-08-06T15:04:02

CMake: Copy public headers to the build directory.