コミット履歴

作者 SHA1 メッセージ 日付
  Koz Ross a61a41e16a Rephrasing contribution guide; removing CompCert due to notable non-freedom 8 年 前
  Koz Ross 17a7df1f6f Adding CONTRIBUTING.md 8 年 前