update ignore file
authorChristian Grothoff <christian@grothoff.org>
Mon, 11 Feb 2019 20:08:41 +0000 (21:08 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 11 Feb 2019 20:08:41 +0000 (21:08 +0100)
commitd2b44c1cab1b2b921dcaf76a6251c028dc09d5a7
treee50a4a843e07c00b5ae5570883470204c3be150b
parent0d4f151374efb1972361c40b6624bf4fd0e3fcaa
update ignore file
.gitignore