Merge branch 'master' of git.tuebingen.mpg.de:libdai
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 12 Apr 2010 19:16:38 +0000 (21:16 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Mon, 12 Apr 2010 19:16:38 +0000 (21:16 +0200)
commit915b35ab3c01195451608f928a99c7a676ddefaa
tree1ca3c057a4335b87c8537877ffdef4ef29d502f7
parent2197209bdc203e70da72f533567ac2025ecc5309
parente1db5dd356612f637a541251ffbd6a646a321df0
Merge branch 'master' of git.tuebingen.mpg.de:libdai
Makefile.CYGWIN