]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Oops, different fix for the same problem as r646. Actually Makefile is
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 18 Mar 2010 23:56:46 +0000 (23:56 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 18 Mar 2010 23:56:46 +0000 (23:56 +0000)
commit628c466ef99fcdd94724b731fe54750b02c34961
tree3b47164a93a7207edaef71f3bf327b2ab749c156
parentd96057b64ee5fc0d35a2a5e7e7847e5b39b74097
Oops, different fix for the same problem as r646. Actually Makefile is
still auto-generated, it's just that the source file has moved. So
"svn rm" and re-ignore the generated copy, and add a clarifying note
to the original.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@647 e59a4935-1847-0410-ae03-e826735625c1
Makefile [deleted file]
scripts/Makefile.in