Add some additional files to the ignore list
[matthijs/master-project/dsd-paper.git] / Makefile
2010-01-20 Matthijs KooijmanAdd a trivial makefile.