Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Puu: 4a213434e2
Branchit Tagit
agda
/
mk
Ulf Norell f151b617ef [ build ] use proper path to agda mode 6 vuotta sitten
..
paths.mk f151b617ef [ build ] use proper path to agda mode 6 vuotta sitten
versions.mk 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' 8 vuotta sitten