Merge branch 'master' of git@git.tuebingen.mpg.de:libdai
[libdai.git] / Makefile.ALL
2010-02-11 Joris MooijFinished release 0.2.4 v0.2.4
2010-02-07 Joris MooijAdded Makefile.ALL (which I forgot to do at the last...