RunestoneInteractive / RunestoneComponents

Packaging of the Runestone tools for publishing educational materials using github pages
http://runestoneinteractive.org
Other
101 stars 225 forks source link

Clean: Remove unnecessary file. #1341

Closed bjones1 closed 2 years ago

bjones1 commented 2 years ago

@ram8647, I don't think we need this file -- am I correct?

bjones1 commented 2 years ago

Note that test failures are due to urllib3 version conflicts, not to the contents of this PR. #1333 should fix the urllib3 problems.

ram8647 commented 2 years ago

That's right. I don't know how they got in there?

-- ralph

On Thu, Jun 30, 2022, 12:28 PM Bryan A. Jones @.***> wrote:

@ram8647 https://github.com/ram8647, I don't think we need this file -- am I correct?

You can view, comment on, or merge this pull request online at:

https://github.com/RunestoneInteractive/RunestoneComponents/pull/1341 Commit Summary

File Changes

(1 file https://github.com/RunestoneInteractive/RunestoneComponents/pull/1341/files )

Patch Links:

- https://github.com/RunestoneInteractive/RunestoneComponents/pull/1341.patch

https://github.com/RunestoneInteractive/RunestoneComponents/pull/1341.diff

— Reply to this email directly, view it on GitHub https://github.com/RunestoneInteractive/RunestoneComponents/pull/1341, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAQGKBY2EHNBBYV5K57DMGTVRXDLPANCNFSM52J6PQKQ . You are receiving this because you were mentioned.Message ID: @.***>

bjones1 commented 2 years ago

@ram8647, thanks for confirming!