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
qb-0.1.23 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.22 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.21 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.20 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.19 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.18 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.17 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.16 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.15 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.14 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.13 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.12 roles/qb.gitignore/files/gitignore/Coq.gitignore
qb-0.1.11 roles/qb.gitignore/files/gitignore/Coq.gitignore
forgitter-0.0.11 data/github/Coq.gitignore
forgitter-0.0.10 data/github/Coq.gitignore
boot-cli-1.0.0 lib/templates/gitignores/Coq.gitignore
boot-cli-0.3.1 lib/templates/gitignores/Coq.gitignore
boot-cli-0.3.0 lib/templates/gitignores/Coq.gitignore
forgitter-0.0.9 data/github/Coq.gitignore
forgitter-0.0.8 data/github/Coq.gitignore