update ignore
authorChristian Grothoff <christian@grothoff.org>
Sun, 20 May 2018 21:57:06 +0000 (23:57 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 20 May 2018 21:57:06 +0000 (23:57 +0200)
commit277cec42b1db901612648315ad7c7b838a0aaf6a
tree54c6add174a57748792a66fdc7eeb75e54407600
parent2e6c6216085aa39575bbe5cc533a1baf47c11c0d
update ignore
src/consensus/.gitignore