Este site funciona melhor com JavaScript.
Página inicial
Explorar
Ajuda
Acessar
mirrors
/
gitignore
espelhamento de
https://github.com/github/gitignore.git
Observar
1
Favorito
0
Fork
0
Código
Issues
0
Versões
0
Wiki
Atividade
Você não pode selecionar mais de 25 tópicos
Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.
2536
Commits
8
Branches
Tag:
7a6202b6d5
add-metadata
annotating-visualstudio
ghfw
main
old-ghfw
reduce-noise
rmw-universe
rmw-universe-2022
Branches
Tags
${ item.name }
Criar branch
${ searchTerm }
de 7a6202b6d5
${ noResults }
gitignore
/
Agda.gitignore
Agda.gitignore
8B
Original
Visão normal
Histórico
Create Agda.gitignore Ignore .agdai files, they're binary files generated by typechecking .agda files. Agda is an interactive proof assistant, home page here: http://wiki.portal.chalmers.se/agda/pmwiki.php `.agdai` files seem to be only documented here (and indirectly by googling): http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips A prominent repository using Agda on github: https://github.com/HoTT/HoTT-Agda/ Their gitignore files: https://github.com/HoTT/HoTT-Agda/blob/master/.gitignore
11 anos atrás
1
*.agdai