DanilaFe/agda-spa
1
0
Rozštěpit 0
Zdrojový kód Úkoly Pull requesty Balíčky Projekty Vydání Wiki Aktivita

Porovnat revize

základní: DanilaFe:c2c04e3ecde9874c9a48d35f4ac6be728604e54e
Větve Značky
DanilaFe:main
...
porovnat: DanilaFe:b28994e1d23b451b868a6d32062cd8bc10657fe6
Větve Značky
DanilaFe:main
Vybraná větev/značka je stejná.