Sha256: 6974eb5ff295156ee4bf2e086d9a4ac91ba235ceaa77dcbc4d328a024a247f58
Contents?: true
Size: 18 Bytes
Versions: 43
Compression:
Stored size: 18 Bytes
Contents
*.vo *.glob *.v.d
Version data entries
43 entries across 43 versions & 3 rubygems
| Version | Path |
|---|---|
| forgitter-0.0.7 | data/github/Coq.gitignore |
| forgitter-0.0.6 | data/github/Coq.gitignore |
| forgitter-0.0.5 | data/Coq.gitignore |