Merge pull request #13328 from neheb/ninja
authorRosen Penev <redacted>
Wed, 9 Sep 2020 05:46:48 +0000 (22:46 -0700)
committerGitHub <redacted>
Wed, 9 Sep 2020 05:46:48 +0000 (22:46 -0700)
ninja: use for CMake


Trivial merge
git clone https://git.99rst.org/PROJECT