Home Explore Help
Register Sign In
LinusTuring
/
lean4
mirror of https://github.com/leanprover/lean4.git
Watch 1
Star 0
Fork 0
Files Issues 0 Wiki
Branch: master
Branches Tags
lean4
/
.gitattributes

.gitattributes 224 B
Permalink History Raw

1234567 
  1. *.lean text eol=lf
    2. 

  2. *.expected.out -text
    3. 

  3. RELEASES.md merge=union
    4. 

  4. stage0/** binary linguist-generated
    5. 

  5. # The following file is often manually edited, so do show it in diffs
    6. 

  6. stage0/src/stdlib_flags.h -binary -linguist-generated
    7. 

  7.