Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: working
Branche Tagy
agda
/
mk
Ulf Norell f151b617ef [ build ] use proper path to agda mode 6 rokov pred
..
paths.mk f151b617ef [ build ] use proper path to agda mode 6 rokov pred
versions.mk 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' 8 rokov pred