summaryrefslogtreecommitdiff
path: root/test/regress/regress0/uflia/diseqprop.06.smt
diff options
context:
space:
mode:
authorMorgan Deters <mdeters@gmail.com>2012-08-28 15:26:46 +0000
committerMorgan Deters <mdeters@gmail.com>2012-08-28 15:26:46 +0000
commit8f3c8fb68976de7dc970020ce8add61431dccf02 (patch)
tree57beae461c658b15e79b8406f2c176ed9b65ccec /test/regress/regress0/uflia/diseqprop.06.smt
parentcf287f593931a1c4fc141e18845b4c5d36879889 (diff)
fix regression tests for automake 1.11 and automake 1.12---both versions should work now
Diffstat (limited to 'test/regress/regress0/uflia/diseqprop.06.smt')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback