Sha256: a9aca3d585b2e490ac53ff3c9d6893a1d5b3aac356e623c4867f28abbc2a2ac6
Contents?: true
Size: 5.56 KB
Versions: 2
Compression: gzip
Compressed size: 1.28 KB
Stored size: 1.28 KB
Contents
Version data entries
2 entries across 2 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.11.1 | grammars/source.lean.json |
| github-linguist-7.11.0 | grammars/source.lean.json |