ignore generated files, one mroe
authorChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:23:17 +0000 (23:23 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:23:17 +0000 (23:23 +0100)
commit5ad1c50a13484450f71e4b248f08fd2c6a369d6d
tree908470c5a55cc0d45e88c016d7778bde19721284
parentd622dbfe5853609590a34637f6ba6834f424a9d6
ignore generated files, one mroe
src/gns/.gitignore