4 commits

Author	SHA1	Message	Date
Philipp Hansch	38d4ac7cea	Remove all copyright license headers ... Discussion previously happened in https://github.com/rust-lang/rust/pull/43498	2019-01-08 21:46:39 +01:00
Manish Goregaokar	23e5e24f52	Add license header to other files	2018-10-06 09:43:08 -07:00
mcarton	2cd58e40f0	Improve the coverage script	2016-10-03 17:49:05 +02:00
mcarton	12c2d6a8d0	Add a script to run kcov	2016-10-02 15:12:12 +02:00