mirror of
https://github.com/Z3Prover/z3
synced 2025-08-12 06:00:53 +00:00
convert tabs to spaces for proper formatting in yaml
This commit is contained in:
parent
507e999726
commit
f00be84bcc
1 changed files with 1 additions and 1 deletions
Loading…
Add table
Add a link
Reference in a new issue