New git HEAD version
[libdai.git] / Makefile.WINDOWS64
2012-09-17 Joris MooijOops, forgot a file in the last commit...