mirror of
https://github.com/Z3Prover/z3
synced 2026-02-10 02:50:55 +00:00
5 lines
91 B
Text
5 lines
91 B
Text
# Ignore all downloaded workflow logs
|
|
*
|
|
|
|
# But keep the .gitignore file itself
|
|
!.gitignore
|