even more .gitignore updates
authorChristian Grothoff <christian@grothoff.org>
Sun, 8 Jan 2017 19:26:53 +0000 (20:26 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 8 Jan 2017 19:26:53 +0000 (20:26 +0100)
commitd4d75c625318ad35338432221137646e1cdcbf11
treec0fb3925fd0cf956d174c7d8e2f1c927b964062c
parent109f034ccf79e227b868af174b3ef61872cd90b2
even more .gitignore updates
contrib/.gitignore