Added Makefile.ALL (which I forgot to do at the last commit) and improved documentation
[libdai.git] / include /
drwxr-xr-x   ..
drwxr-xr-x - dai