]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 166433d) | patch
Fix regressbio. I missed an 's' in its path
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 27 Apr 2010 05:18:07 +0000 (05:18 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 27 Apr 2010 05:18:07 +0000 (05:18 +0000)
commit6b869a2bbff4fc1a758f6e492112ac0fd881db34
treee5d727943f820f1e5c888f39c734e6affbe5a335tree | snapshot
parent166433df7bc0c56b33c9c9875176a555623f4f06commit | diff
Fix regressbio. I missed an 's' in its path

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@723 e59a4935-1847-0410-ae03-e826735625c1
scripts/Makefile.in diff | blob | history
STP Constraint Solver.