Bugfix in Makefile.
[Faustine.git] / .gitignore
2013-08-01 Karim Barkati.gitignore should now be working.
2013-08-01 Karim BarkatiBug fixed in the Makefile.
2013-08-01 Karim BarkatiAdded a ".gitignore" file (to ease git status reading...