mirror of
https://github.com/AdaCore/z3.git
synced 2026-02-12 12:40:40 -08:00
9 lines
225 B
Plaintext
9 lines
225 B
Plaintext
# Set default behaviour, in case users don't have core.autocrlf set.
|
|
* text=auto
|
|
|
|
src/api/dotnet/Properties/AssemblyInfo.cs text eol=crlf
|
|
|
|
.github/workflows/*.lock.yml linguist-generated=true merge=ours
|
|
|
|
* no-precommit-check
|