update ignore file
authorChristian Grothoff <christian@grothoff.org>
Wed, 25 Jan 2017 21:49:40 +0000 (22:49 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 25 Jan 2017 21:50:20 +0000 (22:50 +0100)
commit8f5f7f7885237771d88cce717d508b97d79f6b6e
tree16a661a743712e53471517d20e8958656b32eb35
parent54bdbf432f7ea469f83a894df552105d1a2a1a93
update ignore file
src/fs/.gitignore
src/set/.gitignore