New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove external/ directory #983

Merged

murrayrm merged 1 commit into python-control:main from murrayrm:delete_external-30Mar2024

Mar 31, 2024

+0 −2,197

Member

murrayrm commented Mar 30, 2024

This removes the (no longer used) external/ directory and the code that was in it. See #978 for some background.


          remove external/ directory

3ec2f88

coveralls commented Mar 30, 2024

coverage: 94.425%. remained the same
when pulling 3ec2f88 on murrayrm:delete_external-30Mar2024
into 4d878a9 on python-control:main.

murrayrm merged commit 62d88c9 into python-control:main

23 checks passed

murrayrm deleted the delete_external-30Mar2024 branch

March 31, 2024 05:01

murrayrm added this to the 0.10.0 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment