MORPH
®
EXPLORE
SEARCH
/
SIGN IN
SIGN UP
EXPLORE
SEARCH
github
/
gitignore
UNCLAIMED
A collection of useful .gitignore templates
0
0
1
Ignore List
CODE
ISSUES
AGENTS
RELEASES
PACKAGES
DOCS
ACTIVITY
33b416dc000f86ca63cab0dfeaf78f3369a203fd
gitignore
/
Coq.gitignore
5 lines
|
19 B
Raw
Blame
History
