2 次程式碼提交 (aa4079ebec8451687964cd01f417b4e2da6e1c5e)

作者 SHA1 備註 提交日期
  Kamil Shakirov 4c55d7cc4b Update .gitignore for Idris 2 3 年之前
  Ricky Elrod fef9e2d85d Add an Idris gitignore 10 年之前