Sha256: f6bae36d30bcc9190fcf51af72934d8a6c37964f3fabc6776d5a8f2e7c6544c0
Contents?: true
Size: 8.15 KB
Versions: 1
Compression: gzip
Compressed size: 1.65 KB
Stored size: 1.65 KB
Contents
Version data entries
1 entries across 1 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.15.0 | grammars/source.lean.json |