update gitignore
authorChristian Grothoff <christian@grothoff.org>
Thu, 1 Nov 2018 14:32:31 +0000 (15:32 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 1 Nov 2018 14:32:31 +0000 (15:32 +0100)
commitfe55e9455223f37e0a86ca181825158916fc1fb8
treeb1fafb5544e5da51f7902b96fff05b95d3934736
parent43de1e4a084b7d9e773b05f173d516dc573de5c1
update gitignore
src/cadet/.gitignore