Skip to content
New issue

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

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

Already on GitHub? # to your account

remove traces of experimental package modular_decomposition #39593

Open
wants to merge 2 commits into
base: develop
Choose a base branch
from

Conversation

dcoudert
Copy link
Contributor

The experimental package modular_decomposition has been removed years ago. The upstream source code was buggy.
This PR removes forget traces in build/pkgs/modular_decomposition.

After running ./bootstrap, I don't see anymore traces of modular_decomposition in the options listed by configure --help.

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

Copy link

github-actions bot commented Feb 26, 2025

Documentation preview for this PR (built with commit d6f0805; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

Copy link
Contributor

@fchapoton fchapoton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok

# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants