Merge branch 'master' of git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 12 Apr 2010 20:13:29 +0000 (22:13 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 12 Apr 2010 20:13:29 +0000 (22:13 +0200)
commitb972e3b25fe9bdbea8e8a2ea684b20ef03945d0a
tree6556aaea336bd5884de8d5711eeb7752d29979c6
parent56d98c6f4a85957292e342d67f5822433fd6913c
parentead9c35f1dc4188cdb16ff1eb092e57a21466d2b
Merge branch 'master' of git.tuebingen.mpg.de:libdai