Commit History

Автор SHA1 Съобщение Дата
  Koz Ross a61a41e16a Rephrasing contribution guide; removing CompCert due to notable non-freedom преди 8 години
  Koz Ross 17a7df1f6f Adding CONTRIBUTING.md преди 8 години