Merge branch 'master' of git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Thu, 13 May 2010 17:29:07 +0000 (19:29 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Thu, 13 May 2010 17:29:07 +0000 (19:29 +0200)
commit1f6c34a1bc2db41821357a776b622d588dc82238
tree52533c991c3753ea1d9a144170f42533fafc6b91
parent3a92d24fa133f1587b5a2f64f25bd0fbe47dc9ed
parent70fad2873642b2989bad2eb423e307ab1b669081
Merge branch 'master' of git.tuebingen.mpg.de:libdai
include/dai/doc.h