Merge branch 'master' of git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Wed, 6 Oct 2010 08:59:33 +0000 (10:59 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Wed, 6 Oct 2010 08:59:33 +0000 (10:59 +0200)
commitfe734306381118f7cf8916b10ef4c4e5cb40d2dd
tree59cec6e0a864cb2e77cd64045dafdf538bec1ea2
parent42950b15dca75ffeaef0cc1789f2541e086450a4
parent8aaf91cb3d63f92034fd7dc30669b635a4dbbe4d
Merge branch 'master' of git.tuebingen.mpg.de:libdai
include/dai/doc.h