Home Verkennen
Registreren Inloggen
SongZihuan
/
GitIgnore
spiegel van https://github.com/github/gitignore.git
1
0
Vork 0
Bestanden Issues 0 Wiki
Aftakking: main
Aftakkingen Labels
GitIgnore
/
Agda.gitignore

Agda.gitignore 19 B
Permalink Geschiedenis Ruwe

12 
  1. *.agdai
    2. 

  2. MAlonzo/**
    3.