13
3
Fork 0
Wiki Issues 89 resources competences Projects 8 Code Pull Requests Releases Activity
Платформа ЦРНП "Мирокод" для разработки проектов https://git.mirocod.ru
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11642 Commits
0 Branches
154 Tags
505 MiB
Tree: 23358bc55d
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '23358bc55d'
${ noResults }
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/**