Commit History

Autor SHA1 Mensaxe Data
  Koz Ross a61a41e16a Rephrasing contribution guide; removing CompCert due to notable non-freedom %!s(int64=8) %!d(string=hai) anos
  Koz Ross 17a7df1f6f Adding CONTRIBUTING.md %!s(int64=8) %!d(string=hai) anos