2013.11.01: modified .gitignore file