]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c10cdfd) | patch
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
treea98e607dcc2203a6648a56e89b47b3475a7f8663tree | snapshot
parentc10cdfde496c7418812486c5ac8fc9422e3fa526commit | diff
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 diff | blob | history
STP Constraint Solver.