https: github.com ninja‐build ninja.wiki.git - ninja-build/ninja GitHub Wiki https://github.com/ninja-build/ninja.wiki.git