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)
1  2 
Makefile.CYGWIN

diff --cc Makefile.CYGWIN
Simple merge