Removing auto-generated files from git index

[renanmontebelo]

Removing auto-generated files from git index.
These files are already in the .gitignore file but might have been accidently included in #1495.

This should decrease the risk of including stray files in future PRs.

Checklist

• PR contains only changes related; no stray files, etc.
• README updated (where applicable)
• Tests written (where applicable)

[codecov]

Codecov Report

Merging #1590 (20cd5be) into master (1b85829) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##            master     #1590   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files          100       100           
  Lines         1796      1796           
=========================================
  Hits          1796      1796           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1b85829...6fd13e1. Read the comment docs.

[ktorn]

Instead of submitting a new PR I believe you should amend your original PR commit as I doubt it will be merged that way.

[renanmontebelo]

Actually it was indeed merged, and it was not a PR from me :-)

[ktorn]

@renanmontebelo indeed. Nevermind :)

[renanmontebelo]

Closing as this will be taken care by #1553.