2013-11-13: reset .gitignore