Merge pull request #34 from mdeters/datatypes-kinds
[cvc5.git] / config / .gitignore
1 /libtool.m4
2 /depcomp
3 /lt~obsolete.m4
4 /config.guess
5 /config.sub
6 /ltmain.sh
7 /ltsugar.m4
8 /ltversion.m4
9 /missing
10 /ltoptions.m4
11 /install-sh
12 /test-driver