aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* Various fixes and improvements in "write_smt2 -bv"Clifford Wolf2014-12-251-0/+1