23162fb93a
Some checks failed
Lean Action CI / build (push) Has been cancelled
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
19 lines
438 B
Text
19 lines
438 B
Text
* text=auto eol=lf
|
|
|
|
*.lean text
|
|
*.toml text
|
|
*.md text
|
|
*.m text
|
|
*.expected text
|
|
*.yml text
|
|
*.json text
|
|
*.js text
|
|
|
|
*.png binary
|
|
*.jpg binary
|
|
*.svg text
|
|
|
|
# Hide vendored & generated paths from diffs and language stats
|
|
octave-upstream/ linguist-vendored linguist-generated
|
|
.lake/ linguist-generated
|
|
widget/js/ linguist-vendored
|