Diese Webseite funktioniert besser mit JavaScript.
Startseite
Erkunden
Hilfe
Anmelden
mirrors
/
gitignore
Mirror von
https://github.com/github/gitignore.git
Beobachten
1
Favorisieren
0
Fork
0
Code
Issues
0
Releases
0
Wiki
Aktivität
Du kannst nicht mehr als 25 Themen auswählen
Themen müssen mit entweder einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
3210
Commits
8
Branches
Struktur:
111cf18136
main
rmw-universe
rmw-universe-2022
add-metadata
annotating-visualstudio
ghfw
old-ghfw
reduce-noise
Branches
Tags
${ item.name }
Erstelle Branch
${ searchTerm }
von „111cf18136“
${ noResults }
gitignore
/
Agda.gitignore
Agda.gitignore
19B
Originalformat
Normale Ansicht
Verlauf
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
vor 10 Jahren
Add MAlonzo directory. (#2978)
vor 5 Jahren
1
2
*.agdai
MAlonzo/**