.gitignore

   1 /stamp-h
   2 /stamp-h1
   3 /cvc4-*.tar.gz
   4 /cvc4-*.tar.bz2
   5 /build/
   6 /doc/doxygen
   7 callgrind.out*
   8 gmon.out
   9 stamp-generated
  10 generated/
  11 *~
  12 \#*\#
  13 *.swp
  14 /debug/
  15 /deps/