.gitattributes - third_party/github.com/leanprover/lean4 - Git at Google


            
            *.lean text eol=lf

            
            *.expected.out -text

            
            RELEASES.md merge=union

            
            stage0/** binary linguist-generated
	*.lean text eol=lf
	*.expected.out -text
	RELEASES.md merge=union
	stage0/** binary linguist-generated