Sha256: 0273b595985cd5f663fd6c1f100eed2cfc50461a9d4dbabf212f8e61d9fdce33
Contents?: true
Size: 5.08 KB
Versions: 1
Compression: gzip
Compressed size: 1.24 KB
Stored size: 1.24 KB
Contents
Version data entries
1 entries across 1 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.9.0 | grammars/source.lean.json |