Merge branch 'master' of git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 12 Apr 2010 19:27:44 +0000 (21:27 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 12 Apr 2010 19:27:44 +0000 (21:27 +0200)
commit56d98c6f4a85957292e342d67f5822433fd6913c
treede60afc54ba1222ca332e6f3fad214f48de0182d
parent57b2b7c922beb247ae96246afbf665e4abce8932
parente1db5dd356612f637a541251ffbd6a646a321df0
Merge branch 'master' of git.tuebingen.mpg.de:libdai
src/jtree.cpp
src/treeep.cpp