Merge branch 'master' of git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 6 Jun 2011 18:58:15 +0000 (20:58 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 6 Jun 2011 18:58:15 +0000 (20:58 +0200)
commite6650344b33e06c29ab07113f308e4fc0c76efa6
treeb53ea96be842da0485ecde5b731f91789895ee32
parent73c775fdbfe9af8cb288d78d4866c945471d6114
parent23ddb23607589e85f0e07a9c2be9aa929d2d0f21
Merge branch 'master' of git.tuebingen.mpg.de:libdai