This website works better with JavaScript.
Почетна
Преглед
Помоћ
Пријавите Се
mirrors
/
gitignore
огледало од
https://github.com/github/gitignore.git
Прати
1
Волим
0
Креирај огранак
0
Код
Дискусије
0
Издања
0
Вики
Activity
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.
3499
Комити
8
Гране
Дрво:
d7a25eddfb
add-metadata
annotating-visualstudio
ghfw
main
old-ghfw
reduce-noise
rmw-universe
rmw-universe-2022
Гране
Ознаке
${ item.name }
Create branch
${ searchTerm }
from 'd7a25eddfb'
${ noResults }
gitignore
/
Idris.gitignore
Idris.gitignore
43B
Датотека
Normal View
Историја
Update .gitignore for Idris 2
пре 3 година
Add an Idris gitignore
пре 10 година
1
2
3
4
5
6
7
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o