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.
3424
커밋
8
브랜치
트리:
362abacebe
add-metadata
annotating-visualstudio
ghfw
main
old-ghfw
reduce-noise
rmw-universe
rmw-universe-2022
브랜치
태그
${ item.name }
Create branch
${ searchTerm }
from '362abacebe'
${ noResults }
gitignore
/
Idris.gitignore
Idris.gitignore
43B
Raw
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