summaryrefslogtreecommitdiff
path: root/backends/btor/Makefile.inc
blob: af7ab14dcfe8aab9d29a175ab19fb6f45f1e28fe (plain)
1
2
3