Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Thu, 1 Apr 2010 12:38:52 +0000 (14:38 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Thu, 1 Apr 2010 12:38:52 +0000 (14:38 +0200)
commit89c5735e1367c03ddb6209b0dd6c890c336aa26b
tree3b5e442ffa6e41fb1fca328c1d5f96bd1c688ae8
parent7bc952e1c25f7f7f9cfa0031725325491f9c3bc2
parentcbad5c0f5df8cbe8bbc1006842cda0a7e22c80ce
Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
Makefile