mirror of
https://github.com/Z3Prover/z3
synced 2026-02-07 09:42:14 +00:00
9 lines
273 B
Text
9 lines
273 B
Text
# 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
|
|
|
|
# Use bd merge for beads JSONL files
|
|
.beads/issues.jsonl merge=beads
|