]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Base version on local SVN change rather than the overall repository, so as not to...
authorkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:42 +0000 (16:55 +0000)
committerkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:42 +0000 (16:55 +0000)
commit738e9bc1733ed4b5ceb3423d459b8b828b6d4b7b
treea98e607dcc2203a6648a56e89b47b3475a7f8663
parentc10cdfde496c7418812486c5ac8fc9422e3fa526
Base version on local SVN change rather than the overall repository, so as not to trigger a relink and downstream rebuild.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1499 e59a4935-1847-0410-ae03-e826735625c1
src/main/Makefile