Commit 8233f6e36d8827986e1baeff4b7b4daa2cce46f4

Carlos Martín Nieto 2017-11-04T23:34:14

Merge pull request #4386 from novalis/gitignore-ignore-space ignore spaces in .gitignore files