]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73af8e2) | patch
Fix inconsistent line endings, and execute bit on a couple of .sh files (so that...
authorkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Feb 2011 01:31:59 +0000 (01:31 +0000)
committerkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Feb 2011 01:31:59 +0000 (01:31 +0000)
commit3e732634a52cde908dff87d559bdc6fba921a355
treea57ee2693d44edfc9750472a3fa3a16892ad1ad3tree | snapshot
parent73af8e2d5d0d9810d907e79e32ffd2efda2675e3commit | diff
Fix inconsistent line endings, and execute bit on a couple of .sh files (so that SVN with eol-style/mime-type auto-props won't complain).

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1136 e59a4935-1847-0410-ae03-e826735625c1
src/boost/pool/detail/pool_construct.sh [changed mode: 0644->0755] blob | history
src/boost/pool/detail/pool_construct_simple.sh [changed mode: 0644->0755] blob | history
src/extlib-abc/aig/cnf/cnfMan.c diff | blob | history
src/extlib-abc/aig/cnf/cnfPost.c diff | blob | history
src/extlib-abc/kit.h diff | blob | history
STP Constraint Solver.