ninja 1.13.0

• Homepage: https://ninja-build.org/
• Manpage: https://github.com/ninja-build/ninja/wiki
• Changelog: https://github.com/ninja-build/ninja/releases
• Repository: https://github.com/ninja-build/ninja
• Host-Tool: master/make/host-tools/ninja-host/
• Maintainer: @fda77

This site is open source. Improve this page.