Remove `CommandSequence` command (#8904)

[cvc5.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c5d2ff7969a2f0cf0751b40a579534fcbb441521..48eb6a877a78a590de7859413d39ac17d7889a51 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,26 +1,15 @@
-/autom4te.cache
 /stamp-h
-/config.h.in
-/config.log
-/config.status
-/config.cache
-/cvc4autoconfig.h.in
-/libtool
 /stamp-h1
 /cvc4-*.tar.gz
 /cvc4-*.tar.bz2
-/builds/
-/doc/
-.dep
-Makefile.in
-/configure
-/aclocal.m4
+/build/
+/doc/doxygen
 callgrind.out*
 gmon.out
 stamp-generated
 generated/
 *~
-#*#
-*.gcov
-/lcov/
-.cvc4_config
+\#*\#
+*.swp
+/debug/
+/deps/