Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: working
Ranting Tag

Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  Andrés Sicard-Ramírez 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' 8 tahun lalu
  Andrés Sicard-Ramírez 3646232e9a [ fixed #2419 ] Removed warnings when using hTags with GHC >= 8.0.1. 8 tahun lalu