]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 926cdf0) | patch
Remove from SVN files that are automatically generated in the
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 31 Oct 2008 18:45:04 +0000 (18:45 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 31 Oct 2008 18:45:04 +0000 (18:45 +0000)
commit0eb7a7bebdfca7c3e9773c3a482c429f0b99d83c
treefa36bb5f4f6ea9ff3bf8304b991d7e0f7ff29746tree | snapshot
parent926cdf0ad239becf825d59628d4918f75d9f814fcommit | diff
Remove from SVN files that are automatically generated in the
configure and build processes. Copy the changes to Makefile back to
the original Makefile.in. After this change, you'll need to re-run
"configure".

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@35 e59a4935-1847-0410-ae03-e826735625c1
Makefile [deleted file] blob | history
Makefile.in diff | blob | history
config.info [deleted file] blob | history
sat/core/depend.mk [deleted file] blob | history
STP Constraint Solver.