]> source.dussan.org Git - gitignore.git/commit
projects / gitignore.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46d36eb) | patch
Add .native
authorJason Gross <jasongross9@gmail.com>
Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)
committerGitHub <noreply@github.com>
Tue, 11 Oct 2016 21:21:20 +0000 (17:21 -0400)
commit6615075fe4add11e8374573fe53b778cf2883ded
tree70b1effe97fa0673b29bb803170fb766c3511150tree | snapshot
parent46d36eb78f4f14b9bc941b3aa72ac9d1092efd04commit | diff
Add .native
Coq.gitignore diff | blob | history
A collection of useful .gitignore templates: https://github.com/github/gitignore