mirrors
/
gitignore
mirror of https://github.com/github/gitignore.git
Watch 1
Star 0
Fork 0
Code Issues 0 Releases 0 Wiki Activity
3224 Commits
8 Branches
Tree: be4f76b416
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'be4f76b416'
${ noResults }
Commit Graph

7 Commits (be4f76b416f1279ec23b9c833333d510e2ddee8b)

Author SHA1 Message Date
  Jason Gross 38c1cfcdbc Update Coq.gitignore after coq/coq#11075 (#3247) 4 years ago
  Jason Gross 44bc08a5d1 Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223) 4 years ago
  Jason Gross 8202fbb408 Add mllib, mlpack files 7 years ago
  Jason Gross 6615075fe4 Add .native 7 years ago
  Jason Gross 46d36eb78f Update Coq.gitignore 7 years ago
  Ivan Zuzak f0dde55c6b ensure single trailing newline 10 years ago
  Dan 2483494fc2 add Coq gitignore 13 years ago