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)
1  2 
include/dai/doc.h

Simple merge