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)
commit5b8dd2d3b981c939070ac538423b263b995cd106
tree65bc0e476804e3f45ec7f024071b90a8f1dc1552
parent5ae4b99b583c237118242cd2f57a8935b64590b9
parent54449e9c6689b17379c24ca68f52a80ec5688f22
Merge pull request #13328 from neheb/ninja

ninja: use for CMake
git clone https://git.99rst.org/PROJECT