afan
/
gitea
Sledovat 1
Oblíbit 0
Rozštěpit 0
Zdrojový kód Úkoly 0 Požadavky na natažení 0 Vydání 0 Wiki Activity
gitea源码
3 Revize
2 Větve
Větev: master
Větve Značky
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
gitea/options/gitignore/Agda

Agda 19B
Trvalý odkaz Historie Surový

123 
  1. *.agdai

  2. MAlonzo/**