home/gitlabhq
2
0
Fork 0
mirror of https://github.com/wahyd4/gitlabhq.git synced 2026-08-19 01:26:08 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
b2dc9176018729efc1969035b30017c2ed81a708
gitlabhq/vendor/gitignore/Coq.gitignore
T
Zeger-Jan van de WegandAlfredo Sumaran fab9dbb3eb First import of gitignores 
Add .gitignore dropdown when creating a new .gitignore file

Signed-off-by: Alfredo Sumaran <alfredo@gitlab.com>
2016-05-20 15:58:36 -05:00

4 lines
18 B
Plaintext
Raw Blame History

*.vo
*.glob
*.v.d
Reference in New Issue View Git Blame Copy Permalink