aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor/.gitignore
blob: d23d492d7335fdb7dafd1a0062f5843c33863721 (plain)
1