update gitignore
authorChristian Grothoff <christian@grothoff.org>
Thu, 18 Oct 2018 15:38:45 +0000 (17:38 +0200)
committerChristian Grothoff <christian@grothoff.org>
Thu, 18 Oct 2018 15:38:45 +0000 (17:38 +0200)
commitb3251675a1374b8eecd41b312b994a88b0030854
tree75dce1ac11a163e4fffeb52e69f9d59496194d92
parent8b61a5fc9ea1c09a67758d296bc97533e0c07a68
update gitignore
src/namestore/.gitignore