Home Esplora
Registrati Accedi
SongZihuan
/
GitIgnore
mirror da https://github.com/github/gitignore.git
1
0
Forka 0
File Problemi 0 Wiki
Albero (Tree): d7452bf58f
Rami (Branch) Tag
GitIgnore
/
Agda.gitignore

Agda.gitignore 19 B
Cronologia Originale

12 
  1. *.agdai
    2. 

  2. MAlonzo/**
    3.