misc: add *.log and *.dot to .gitignore
[nit.git] / src / valgrind.sh
2010-06-24 Jean Privattools: add a valgrind helper script