add to ignore
authorChristian Grothoff <christian@grothoff.org>
Sun, 26 Feb 2017 00:15:24 +0000 (01:15 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 26 Feb 2017 00:15:24 +0000 (01:15 +0100)
commit6539ae1a33fdf21eccd80431cacd67e9680ba25c
treea719d913f5fa58701d70bacdb772ba1b56f37ed1
parent3223fc051f4f3c3d093dc61966df17c8fc60837f
add to ignore
src/consensus/.gitignore