* text=auto
*.sh text eol=lf
*.py text eol=lf
*.lean text eol=lf
