Sha256: 1095e51d6e95b53ff01c9fcd32abaee16fc390a67ac6764ebb6ebcfa4b2348d8
Contents?: true
Size: 8.57 KB
Versions: 3
Compression: gzip
Compressed size: 2.34 KB
Stored size: 2.34 KB
Contents
Version data entries
3 entries across 3 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.12.2 | grammars/source.idris.json |
| github-linguist-7.12.1 | grammars/source.idris.json |
| github-linguist-7.12.0 | grammars/source.idris.json |