Sha256: 378a92288cc9c0b1e8c551fe1bcfd1e1030c07f6ff14896ef341f7a265df001e
Contents?: true
Size: 3.4 KB
Versions: 1
Compression: gzip
Compressed size: 1.14 KB
Stored size: 1.14 KB
Contents
Version data entries
1 entries across 1 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.28.0 | grammars/source.lean4.json |