mirrors
/
gitignore
spegling av https://github.com/github/gitignore.git
Bevaka 1
Stjärnmärk 0
Förgrening 0
Kod Ärenden 0 Släpp 0 Wiki Aktiviteter
Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.
3145 Incheckningar
8 Grenar
Träd: 20e9638392
Grenar Taggar
${ item.name }
Skapa branchen ${ searchTerm }
från '20e9638392'
${ noResults }
gitignore/Agda.gitignore

Agda.gitignore 19B
Rå Blame Historik

12 
  1. *.agdai

  2. MAlonzo/**