Mirrors/gitea
1
0
Bifurcation 0
miroir de https://github.com/go-gitea/gitea.git synchronisé 2024-07-28 14:16:17 +02:00
Code Tickets Actions 2 Paquets Projets Publications Wiki Activité
62a6717701
gitea/options/gitignore/Agda
Antoine GIRARD db5524a9ab chore: update gitignore list (#9437) 
Updated the gitignore list with the command : `go run scripts/generate-gitignores.go`
2019-12-19 23:04:12 +00:00

3 lignes
19 B
Plaintext
Brut Annotations Historique

*.agdai
MAlonzo/**
Référencer dans un nouveau ticket Voir Git Blâme Copier le lien permanent