Revision 5a215c5c459c8e08f6879e1e0fb0ac3445d4e537 authored by Chris Hawblitzel (Microsoft) on 12 June 2019, 01:24:53 UTC, committed by GitHub on 12 June 2019, 01:24:53 UTC
To havoc or not to havoc, that is the question. Use [option bool], that is the answer.
.gitattributes
*.fst eol=lf
*.fsti eol=lf
*.hints eol=lf -diff linguist-generated
Makefile eol=lf
Makefile.* eol=lf
*.sh text eol=lf
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...