even more .gitignore updates
authorChristian Grothoff <christian@grothoff.org>
Sun, 8 Jan 2017 19:27:17 +0000 (20:27 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 8 Jan 2017 19:27:17 +0000 (20:27 +0100)
commit73b0f06dd9112163e4a1f89f3218ff0ecddbcd76
tree54bbd624e3daf5b296e824869506d2e95cc4c4d1
parentd4d75c625318ad35338432221137646e1cdcbf11
even more .gitignore updates
contrib/.gitignore