Added macro for z3
authorDennis Schafroth <dennis@vm-ubuntu-ds.(none)>
Thu, 28 Jan 2010 13:21:28 +0000 (14:21 +0100)
committerDennis Schafroth <dennis@vm-ubuntu-ds.(none)>
Thu, 28 Jan 2010 13:21:28 +0000 (14:21 +0100)
commit336669cf7fa8b89a15203127cc1383922c6dfbbe
tree028c9f4c1f5dcc23e80959fff885c026a0d51f04
parenta68af871a42a363953e3ff78feff378787ad6ddd
Added macro for z3
z3.m4 [new file with mode: 0644]