aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor/Makefile.inc
Commit message (Expand)AuthorAgeFilesLines
* btorAhmed Irfan2014-01-031-0/+3