backends/minisat/.gitignore

   1 aclocal.m4
   2 autom4te.cache
   3 configure.ac
   4 *.o
   5 *.Po
   6 *.Plo
   7 *.lo
   8 Makefile
   9 Makefile.in
  10 confdefs.h
  11 config.*
  12 configure
  13 install-sh
  14 libtool
  15 ltmain.sh
  16 missing
  17 depend.mk
  18 minisat
  19 depcomp
  20 .libs
  21 .dirstamp
  22 *.la
  23 satwrap.minisat.lisp