Sha256: d3fe7117a47d002d256128d7f86a5f01fde73b65dd930fbf246d54d2d20d5797

Contents?: true

Size: 4.68 KB

Versions: 16

Compression: gzip

Compressed size: 1.63 KB

Stored size: 1.63 KB

Contents

Download

Version data entries

16 entries across 16 versions & 1 rubygems

Version Path
github-linguist-4.8.15 grammars/source.lean.json
github-linguist-4.8.14 grammars/source.lean.json
github-linguist-4.8.13 grammars/source.lean.json
github-linguist-4.8.12 grammars/source.lean.json
github-linguist-4.8.11 grammars/source.lean.json
github-linguist-4.8.10 grammars/source.lean.json
github-linguist-4.8.9 grammars/source.lean.json
github-linguist-4.8.8 grammars/source.lean.json
github-linguist-4.8.7 grammars/source.lean.json
github-linguist-4.8.6 grammars/source.lean.json
github-linguist-4.8.5 grammars/source.lean.json
github-linguist-4.8.4 grammars/source.lean.json
github-linguist-4.8.3 grammars/source.lean.json
github-linguist-4.8.2 grammars/source.lean.json
github-linguist-4.8.1 grammars/source.lean.json
github-linguist-4.8.0 grammars/source.lean.json