Bug fixed in the Makefile.
[Faustine.git] / .gitignore
2013-08-01 Karim BarkatiBug fixed in the Makefile.
2013-08-01 Karim BarkatiAdded a ".gitignore" file (to ease git status reading...