GitIgnore improved

Thanks to @rmhartog!