Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 28 Jun 2010 12:15:10 +0000 (14:15 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 28 Jun 2010 12:15:10 +0000 (14:15 +0200)
commit4bfb8a5c058e7640cd783438274700373afce2f7
tree03e0fd89eca3bb46b611b88d9921a23bcabf2849
parent484c17d61c42f23a5333800b50c83958a97b30ac
parent8b195446e5afe056b8a2f5d99d1e9bb41d43a080
Merge branch 'master' of git@git.tuebingen.mpg.de:libdai