update ignore file
authorChristian Grothoff <christian@grothoff.org>
Tue, 19 Feb 2019 01:01:55 +0000 (02:01 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 19 Feb 2019 01:01:55 +0000 (02:01 +0100)
commit2caf347246b7910a9141425e44ca57af130ae879
tree2d4b861db4ba88ffd52b5efdfa6c47d01bf71f42
parent29184ebd9987a2c63d50d563bd0b7a5ce68f0023
update ignore file
src/gns/.gitignore