Commit History

Author SHA1 Message Date
  Koz Ross 3f38293913 Revising CONTRIBUTING.md to take Great Relicensing into account 6 years ago
  Koz Ross e865f968e7 Clarifying further, adding non-wacky license criterium 7 years ago
  Koz Ross de3d81cd60 Removing loaded language, adding more explanations and examples to CONTRIBUTING.md 7 years ago
  Koz Ross a1e058a609 Full SPDX-ication 7 years ago
  Koz Ross a61a41e16a Rephrasing contribution guide; removing CompCert due to notable non-freedom 8 years ago
  Koz Ross 17a7df1f6f Adding CONTRIBUTING.md 8 years ago