13
3
Fork 0
Wiki Issues 89 resources competences Projects 8 Code Pull Requests Releases Activity
Платформа ЦРНП "Мирокод" для разработки проектов https://git.mirocod.ru
9494 Commits
14 Branches
154 Tags
505 MiB
Tree: 4744e1e0f7
Platform_Mirocod/options/gitignore/Agda

3 lines
19 B
Raw Normal View History Unescape

complate list of gitignores and licenses
10 years ago
*.agdai
chore: update gitignore list (#9437) Updated the gitignore list with the command : `go run scripts/generate-gitignores.go`
5 years ago
MAlonzo/**