Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Andreas Abel f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip] před 6 roky
  Andreas Abel e9bdbf5175 [ loc ] exclude test/bugs před 8 roky
  Andreas Abel a87cc80605 Lines of code also for .agda files (size of testsuite). před 9 roky