4 Commits

Author	SHA1	Message	Date
Michael Kuhn	84ae7872d3	Update copyright notices for 2017 (#5295)	2017-09-06 17:44:16 -10:00
Gregory Lee	644f5b3229	added new pruners-ninja version (#4859)	2017-07-21 17:57:12 -05:00
Todd Gamblin	cac4362f64	Make LICENSE recognizable by GitHub. (#4598)	2017-06-24 22:22:55 -07:00
Gregory Lee	3ade829566	new and updated PRUNERS tools (#3648)	2017-03-31 13:42:03 -05:00