diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-11 05:55:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-11 05:55:37 +0000 |
commit | a2602bd3e3ee90d50cb433e01b029d1176b4cc18 (patch) | |
tree | fc8168fb358d819497bbe8db2bb482ace5e1ddff /test/regress/regress0/ite4.smt2 | |
parent | 969b144a5f9630d646afdf0ff0a053df38d0ed1a (diff) |
fix "make dist" issues in makefiles
Diffstat (limited to 'test/regress/regress0/ite4.smt2')
0 files changed, 0 insertions, 0 deletions