New git HEAD version
[libdai.git] / vc10 /
2012-08-02 Joris MooijFixed Win64 build problems with help of Sameh Khamis