Skip to content
Personal
Open source
Business
Explore
Sign up
Sign in
Pricing
Blog
Support
Watch
1,514
Star
34,000
Fork
12,845
github
/
gitignore
Code
Pull requests
101
Pulse
Graphs
Permalink
Branch:
master
Switch branches/tags
Branches
Tags
annotating-visualstudio
ghfw
master
old-ghfw
reduce-noise
revert-1343-master
update-license
Nothing to show
Nothing to show
Find file
Copy path
gitignore
/
Coq.gitignore
f0dde55
Oct 6, 2013
izuzak
ensure single trailing newline
2
contributors
Users who have contributed to this file
izuzak
dcolish
Raw
Blame
History
4 lines (3 sloc)
18 Bytes
*.vo
*.glob
*.v.d
Jump to Line
Go
Something went wrong with that request. Please try again.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
