Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
authorJoris Mooij <jorism@osun.tuebingen.mpg.de>
Wed, 24 Sep 2008 12:54:22 +0000 (14:54 +0200)
committerJoris Mooij <jorism@osun.tuebingen.mpg.de>
Wed, 24 Sep 2008 12:54:22 +0000 (14:54 +0200)
commit7b959a247fb29fa2cad9525c5989eaf8bb6e280b
tree0877ac2f5f65fa037a65d190bcc6d394080e799f
parent22d652e95ced572a08f06fca7bf29b23119884d8
parent18afcb81d082506e2988d65d2189a540d98b2197
Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
include/dai/properties.h