aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2/.gitignore
blob: 313ea0a1aac127fc5e31588aa79f6df818afaf32 (plain)
1