summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 65b1e44d2028dc1ad8e0e1b4210e142423159aff (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/autom4te.cache
/stamp-h
/config.h.in
/config.log
/config.status
/config.cache
/libtool
/stamp-h1
/cvc4-*.tar.gz
/cvc4-*.tar.bz2
/builds
/doc
/Makefile.in
/configure
/aclocal.m4
/callgrind.out*
/gmon.out
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback