Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Andreas Abel f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip] vor 6 Jahren
  Andreas Abel e9bdbf5175 [ loc ] exclude test/bugs vor 8 Jahren
  Andreas Abel a87cc80605 Lines of code also for .agda files (size of testsuite). vor 9 Jahren