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


            
            *.expected.out -text

            
            doc/changes.md merge=union

            
            stage0/** binary linguist-generated
	*.expected.out -text
	doc/changes.md merge=union
	stage0/** binary linguist-generated