update ignore
authorChristian Grothoff <christian@grothoff.org>
Sun, 20 May 2018 21:56:55 +0000 (23:56 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 20 May 2018 21:56:55 +0000 (23:56 +0200)
commit2e6c6216085aa39575bbe5cc533a1baf47c11c0d
tree7b43c9cd8381ffe3b22d9d3062265b649b507af7
parent1477e20bacf5d3d29adb5622c8317dfd0f8731b4
update ignore
contrib/scripts/.gitignore [new file with mode: 0644]