max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: don't normalize line endings but still diff

Browse source
This commit is contained in:
Wojciech Nawrocki 2020-08-12 18:47:30 +02:00 • committed by Leonardo de Moura
parent 55655869b7
commit 9c7d91c67f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitattributes vendored
View file

@ -1,2 +1,2 @@
*.expected.out binary
*.expected.out -text
doc/changes.md merge=union