summaryrefslogtreecommitdiffstats
path: root/development/ninja/ninja.info
AgeCommit message (Expand)Author
2019-01-0520190105.1 global branch merge.current-20190105.1 Matteo Bernardini
2017-09-16development/ninja: Updated for version 1.8.2. Markus Rinne
2017-01-07development/ninja: Updated for version 1.7.2. Markus Rinne
2016-07-17development/ninja: Updated for version 1.7.1 Christoph Willing
2015-10-28development/ninja: Added (small build system with a focus on speed). Markus Rinne