projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5ae4b99 54449e9)
Merge pull request #13328 from neheb/ninja
authorRosen Penev <rosenp@gmail.com>
Wed, 9 Sep 2020 05:46:48 +0000 (22:46 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Sep 2020 05:46:48 +0000 (22:46 -0700)
ninja: use for CMake


Trivial merge
Mirror of packages feed