Christoph Junghans 88b515ede8 ninja: add v1.8.2 (#5625)		2017-10-10 12:50:56 -07:00
..
spack	ninja: add v1.8.2 (#5625)	2017-10-10 12:50:56 -07:00