mirror of
https://github.com/Z3Prover/z3
synced 2025-04-03 16:19:57 +00:00
5 lines
138 B
Plaintext
5 lines
138 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
|