Sha256: cc87e4575304e84e75d73e9fd53b1db1461cc1c765104351ceaebb3934a0bdd5
Contents?: true
Size: 4.15 KB
Versions: 3
Compression: gzip
Compressed size: 1.41 KB
Stored size: 1.41 KB
Contents
Version data entries
3 entries across 3 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-4.8.18 | grammars/source.lean.json |
| github-linguist-4.8.17 | grammars/source.lean.json |
| github-linguist-4.8.16 | grammars/source.lean.json |