Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd_patch
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Andreas Abel f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip] 6 vuotta sitten
  Andreas Abel e9bdbf5175 [ loc ] exclude test/bugs 8 vuotta sitten
  Andreas Abel a87cc80605 Lines of code also for .agda files (size of testsuite). 9 vuotta sitten