update ignore file
authorChristian Grothoff <christian@grothoff.org>
Wed, 15 Feb 2017 15:55:47 +0000 (16:55 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 15 Feb 2017 15:55:47 +0000 (16:55 +0100)
commit1df412a8f680980aea00ce6e7c17a1bad3b789cc
tree044cbb2e78907c4d00c7a7e30650e43fc2c0bd3a
parent7a7ec54a324da4820202582126795a8ac6bbe94d
update ignore file
src/cadet/.gitignore