Ignore additional Eclipse file and spurious .gitignore (#681)
authorTim Haines <thaines.astro@gmail.com>
Sat, 16 Nov 2019 20:32:03 +0000 (14:32 -0600)
committerGitHub <noreply@github.com>
Sat, 16 Nov 2019 20:32:03 +0000 (14:32 -0600)
commit7718cda22a0119ab6281d2a771da3cc1ab70c789
tree24ea87245eb0e72ae604332d3c282a3f836789d8
parentcf195af6655d688a611e499c43a88efc8dd2e0fb
Ignore additional Eclipse file and spurious .gitignore (#681)

The instructionAPI/doc/.gitignore seems to be auto-generated when
building the documentation. It tries to ignore instructionAPI/doc/API
which is already in the git history, so it's best to just ignore it to
prevent its accidental inclusion.
.gitignore