ignore benchmark binary
authorChristian Grothoff <christian@grothoff.org>
Wed, 4 Oct 2017 12:37:53 +0000 (14:37 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 4 Oct 2017 12:37:53 +0000 (14:37 +0200)
commiteb64cc59fb153887e0d3e5045ebdccdb53d16283
treefa9f6533e72da04da0d85309dff7e8a6fc53ff58
parentf08b9200a6c4ccf1d675114ce0228ebcd7bfb6df
ignore benchmark binary
src/util/.gitignore