5 Commits

Include renames

Author	SHA1	Message	Date
Koz Ross	e865f968e7	Clarifying further, adding non-wacky license criterium	2017-12-29 17:19:58 +13:00
Koz Ross	de3d81cd60	Removing loaded language, adding more explanations and examples to CONTRIBUTING.md	2017-12-29 17:08:13 +13:00
Koz Ross	a1e058a609	Full SPDX-ication	2017-05-01 21:14:43 +12:00
Koz Ross	a61a41e16a	Rephrasing contribution guide; removing CompCert due to notable non-freedom	2016-11-10 15:09:49 +13:00
Koz Ross	17a7df1f6f	Adding CONTRIBUTING.md	2016-10-20 13:09:54 +13:00