Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Tue, 3 Mar 2009 08:42:22 +0000 (09:42 +0100)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Tue, 3 Mar 2009 08:42:22 +0000 (09:42 +0100)
commit29bd1b813f23e7e62d94fff42c07040ace83618c
treeb0cb2bcff6407e7cec162411e50c3724fafa2f8f
parentab4b5fe38d712e10ee1053d9c18533bdb95b26dc
parentff348a2a5991dcddceb3752b682cf36d9d23bfea
Merge branch 'master' of git@git.tuebingen.mpg.de:libdai