.gitignore

*.a
*.bak
*.core
*.def
*.dll
*.exe
*.gcda
*.gcno
*.gmo
*.header
*.la
*.lib
*.lo
*.log
*.mo
*.o
*.orig
*.patch
*.po
*.pot
*.rej
*.sin
*.so
*.trs
*~
.#*
.deps
.dirstamp
.libs
.patch_number
.version
/COPYING
/ChangeLog
/INSTALL
/README
/aclocal.m4
/autom4te.cache
/build-aux/*
!/build-aux/Makefile.am.common
!/build-aux/Makefile.am.coverage
!/build-aux/Makefile.am.env
!/build-aux/Makefile.am.gitlog
!/build-aux/Makefile.am.link
!/build-aux/Makefile.am.valgrind
!/build-aux/git-log-fix
!/build-aux/git-version-gen
!/build-aux/gitlog-to-changelog
!/build-aux/manywarnings.m4
!/build-aux/perl.m4
!/build-aux/syntax-check
!/build-aux/syntax-check-copyright
!/build-aux/useless-if-before-free
!/build-aux/util.m4
!/build-aux/vc-list-files
!/build-aux/visibility.m4
!/build-aux/warnings.m4
/config.cache
/config.log
/config.status
/configure
/coverage
/coverage.info
/doc
/graphprover/config.h
/graphprover/config.h.in
/graphprover/stamp-h1
/libtool
/tests/env.csh
/tests/env.sh
/tests/gdb.cfg
Makefile
Makefile.in