add generated file to ignore list
authorChristian Grothoff <christian@grothoff.org>
Mon, 23 Jan 2017 13:06:52 +0000 (14:06 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 23 Jan 2017 13:06:52 +0000 (14:06 +0100)
commitd8d28a68f2a731d33e59adc9d2e2de14c3c89d0b
tree634874fa99894598744e199580fae7bc2873ffed
parent160c8ce431bf43ef9bbb1078313fbe25cca46f7e
add generated file to ignore list
src/util/.gitignore