Commit 1c549b83 authored by Kohei Yoshida's avatar Kohei Yoshida

We can simply use CMake's configure_file here.

This way there is no need for the gen-files.py script any more.
parent b973ea80
Pipeline #45194487 passed with stage
in 3 minutes and 59 seconds