Sha256: 7becd25125ac83d3c852e0e96b78820efcf984803a14bbac3cb09178348d21e7
Contents?: true
Size: 19 Bytes
Versions: 2
Compression:
Stored size: 19 Bytes
Contents
*.vo *.glob *.v.d
Version data entries
2 entries across 2 versions & 1 rubygems
| Version | Path |
|---|---|
| gitignore-0.1.0 | lib/gitignore/templates/Coq.gitignore |
| gitignore-0.0.0 | lib/gitignore/templates/Coq.gitignore |